---

＜図書＞
ゲンダイ スウリ ロンリガク ニュウモン
現代数理論理学入門 / J.N.クロスリー [ほか] 著 ; 田中尚夫訳
(共立全書 ; 553)

出版者	東京 : 共立出版
出版年	1977.11
本文言語	日本語
大きさ	vi, 185p ; 19cm
著者標目	Crossley, John N., 1937- 田中, 尚夫(1928-) <タナカ, ヒサオ>
件　名	NDLSH:数学基礎論 NDLSH:記号論理学
一般注記	文献: p180〜181. 事項・記号索引: 巻末

 類似資料