- 著者：松本和夫
- 発売日：2001-08-15
- 出版社：共立出版
内容
- （ここには本の中で説明されている内容を記述します）
- 第1章 命題論理
- 第2章 述語論理
- 第3章 直観主義論理
- 第4章 述語計算LK
- 第5章 自然数論
- 第6章 様相論理
- 第7章 束論と論理
特徴
- （文体や説明形式、他の本の中ではあまり説明していないトピックなどを記述します）
レベル
- （読むために必要となる前提知識を記述します）
関連する景勝地や講堂
- （もしあれば記述し、該当景勝地や講堂ページへリンクします）
数理論理学（松本和夫）
攻略るるぶ