論理数学I ―数理論理学― 

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

書籍情報
シリーズ名情報科学講座 【A・2・1】巻
ISBN978-4-320-02009-2
判型A5 
ページ数220ページ
発行年月1975年03月
価格1,430円(税込)
論理数学I  書影
論理数学I 

「ライプニッツの夢」へ現代的解明を根本的思想として書かれたもので,本書は数理論理学の基本的事項を情報科学の基礎的分野の一つとして解説。

目次

第1章 命題論理

第2章 述語論理I

第3章 述語論理II

第4章 述語論理III

第5章 不完全性と決定不能性

第6章 種々の論理