Mathematical interpretation of formal systems

＜図書＞
Mathematical interpretation of formal systems / Th. Skolem ... [et al.]
(Studies in logic and the foundations of mathematics)

出版者	Amsterdam : North-Holland Pub. Co.
出版年	1955
コード類	書誌ID=2000162559 NCID=BA03985988

本文言語	英語,フランス語
大きさ	viii, 113 p. ; 21 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."--P. vii English or French Includes bibliographical references
著者標目	Wiskundig Genootschap (Netherlands) Skolem, Th. (Thoralf), 1887-1963
件　名	LCSH:Logic, Symbolic and mathematical -- Congresses 全ての件名で検索
分　類	LCC:QA9 DC:511/.3
巻冊次	ISBN:0720422264