＜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)