---

＜図書＞
Mathematical interpretation of formal systems / {by} Th. Skolem {and others}.
(Studies in logic and the foundations of mathematics)

出版者	Amsterdam : North-Holland
出版年	1955
大きさ	viii, 113 p. 22 cm.
著者標目	Wiskundig Genootschap (Netherlands) Skolem, Th. (Thoralf), 1887-1963
件　名	Logic, Symbolic and mathematical
一般注記	""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.

 類似資料