現代数理論理学入門

Author(s)

• Crossley, John N.
• 田中, 尚夫 タナカ, ヒサオ

Bibliographic Information

現代数理論理学入門

J.N.クロスリー [ほか] 著 ; 田中尚夫訳

（共立全書, 553）

共立出版, 1977.11

Other Title

What is mathematical logic ?

Title Transcription

ゲンダイ スウリ ロンリガク ニュウモン

Note

文献: p180-181. 事項・記号索引: 巻末

Details

• NCID: BN00690720
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Original Language Code: eng
• Place of Publication: 東京
• Pages/Volumes: vi, 185p
• Size: 19cm
• Classification:
  • NDC6 : 410.1
  • NDC10 : 410.9
  • NDLC : MA41
• Subject Headings:
  • NDLSH : 数学基礎論
  • NDLSH : 記号論理学
• Parent Bibliography ID:
  • BN00188792