このページのリンク

<図書>
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.

所蔵情報を非表示

書庫2F 図書 図書
116.3//Sk9





2000002970
数学図書室(図書) 図書
410//Sk





2013011024

書誌詳細を非表示

データ種別 図書
分 類 DC:164
書誌ID 1000018237

 類似資料