• 教科書献本のご案内
  • ニュースメール
  • アフターサービス
  • facebook

数理論理学 増補版

こちらの書籍は旧版です。最新版は復刊 数理論理学となります。

この書籍は現在お取り扱いできません。

書籍情報
シリーズ名共立講座 現代の数学 【1】巻
ISBN978-4-320-01118-2
判型A5 
装丁函入
ページ数202ページ
発行年月1970年02月
本体価格1,000円
数理論理学 書影
数理論理学

中心となる基本定理を各章でいろいろの角度から扱い,とくにゲンツェンの方法に重点をおいている。専門外の読者を想定してていねいに解説。

目次

第1章 命題論理

第2章 述語論理

第3章 直観主義論理

第4章 述語計算LK

第5章 自然数論

第6章 様相論理

第7章 束論と論理