語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Mathematical interpretation of forma...
~
Wiskundig Genootschap (Netherlands)
Mathematical interpretation of formal systems
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Mathematical interpretation of formal systems/ [by] Th. Skolem [and others].
其他作者:
Skolem, Th.
團體作者:
Wiskundig Genootschap (Netherlands)
出版者:
Amsterdam :North-Holland Pub. Co., : 1955.,
面頁冊數:
viii, 113 p. ;22 cm.;
附註:
"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."
標題:
Logic, Symbolic and mathematical. -
電子資源:
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)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入