<Books>
Mathematical interpretation of formal systems / {by} Th. Skolem {and others}.
(Studies in logic and the foundations of mathematics)
Publisher | Amsterdam : North-Holland |
---|---|
Year | 1955 |
Size | viii, 113 p. 22 cm. |
Authors | Wiskundig Genootschap (Netherlands) Skolem, Th. (Thoralf), 1887-1963 |
Subjects | Logic, Symbolic and mathematical |
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."" \ Bibliography: p. 112-113. |
Hide book details.
Location | Media type | Volume | Call No. | Status | Reserve | Comments | ISBN | Printed | Restriction | Designated Book | Barcode No. |
---|---|---|---|---|---|---|---|---|---|---|---|
書庫2F 図書 | 図書 |
|
116.3//Sk9 |
|
|
|
|
|
|
2000002970 | |
数学図書室(図書) | 図書 |
|
410//Sk |
|
|
|
|
|
|
2013011024 |
Hide details.
Material Type | Books |
---|---|
Classification | DC:164 |
ID | 1000018237 |
Similar Items
Usage statistics of this contents
Number of accesses to this page:4times
※After Sep 4, 2017
Total Lendings:0times
(Lending within 3 months:0times)