補足
本授業ではゲンツェン方式の自然演繹を採用しています。
さて、本日紹介したFitch式の自然演繹について、有名なのは以下の教科書。
- 作者: 角田譲
- 出版社/メーカー: 朝倉書店
- 発売日: 1996/06/01
- メディア: 単行本
- クリック: 4回
- この商品を含むブログ (2件) を見る
- 作者: 戸田山和久
- 出版社/メーカー: 名古屋大学出版会
- 発売日: 2000/10/10
- メディア: 単行本(ソフトカバー)
- 購入: 27人 クリック: 330回
- この商品を含むブログ (108件) を見る
ちなみに、内井先生の教科書も、Fitch式と似たやり方です。
- 作者: 内井惣七
- 出版社/メーカー: ミネルヴァ書房
- 発売日: 1989/05
- メディア: 単行本
- 購入: 1人 クリック: 12回
- この商品を含むブログ (4件) を見る