Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Mathematical interpretation of forma...
~
Wiskundig Genootschap (Netherlands)
Mathematical interpretation of formal systems
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Mathematical interpretation of formal systems/ [by] Th. Skolem [and others].
other author:
Skolem, Th.
Corporate Body:
Wiskundig Genootschap (Netherlands)
Published:
Amsterdam :North-Holland Pub. Co., : 1955.,
Description:
viii, 113 p. ;22 cm.;
Notes:
"Contains the lectures, held at the symposion [sic] on 'Mathematical interpretation of formal systems' which was organized by the 'Wiskundig Genootschap' (Mathematical Society) at Amsterdam on September 9 and 10, 1954."
Subject:
Logic, Symbolic and mathematical. -
Online resource:
click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
ISBN:
9780444533814 (electronic bk.)
Mathematical interpretation of formal systems
Wiskundig Genootschap (Netherlands)
Mathematical interpretation of formal systems
[electronic resource] /[by] Th. Skolem [and others]. - Amsterdam :North-Holland Pub. Co.,1955. - viii, 113 p. ;22 cm. - Studies in logic and the foundations of mathematics.
"Contains the lectures, held at the symposion [sic] on 'Mathematical interpretation of formal systems' which was organized by the 'Wiskundig Genootschap' (Mathematical Society) at Amsterdam on September 9 and 10, 1954."
Bibliography: p. 112-113.
ISBN: 9780444533814 (electronic bk.)
LCCN: 56003127 //r852Subjects--Topical Terms:
527823
Logic, Symbolic and mathematical.
LC Class. No.: QA9 / .W72 1955
Dewey Class. No.: 164
Mathematical interpretation of formal systems
LDR
:01045nam a2200229 a 4500
001
808723
005
20130401104249.0
008
150720s1955 ne sb 00000 eng
010
$a
56003127 //r852
020
$a
9780444533814 (electronic bk.)
020
$a
9780444533814
035
$a
13002273
040
$a
DLC/ICU
$c
ICU
041
0
$a
eng
050
0
$a
QA9
$b
.W72 1955
082
0
$a
164
110
2
$a
Wiskundig Genootschap (Netherlands)
$3
906056
245
1 0
$a
Mathematical interpretation of formal systems
$h
[electronic resource] /
$c
[by] Th. Skolem [and others].
260
$a
Amsterdam :
$b
North-Holland Pub. Co.,
$c
1955.
300
$a
viii, 113 p. ;
$c
22 cm.
490
0
$a
Studies in logic and the foundations of mathematics
500
$a
"Contains the lectures, held at the symposion [sic] on 'Mathematical interpretation of formal systems' which was organized by the 'Wiskundig Genootschap' (Mathematical Society) at Amsterdam on September 9 and 10, 1954."
504
$a
Bibliography: p. 112-113.
650
0
$a
Logic, Symbolic and mathematical.
$3
527823
700
1
$a
Skolem, Th.
$q
(Thoralf),
$d
1887-1963.
$3
906057
856
4 0
$u
http://www.sciencedirect.com/science/book/9780444533814
$z
click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login