参考文献
本日紹介したインバージョン原理についてはこちらが詳しいです。
Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)
- 作者: Dag Prawitz
- 出版社/メーカー: Dover Publications
- 発売日: 2006/03
- メディア: ペーパーバック
- 購入: 1人 クリック: 18回
- この商品を含むブログ (18件) を見る
The Logical Basis of Metaphysics (The William James Lectures)
- 作者: Michael Dummett
- 出版社/メーカー: Harvard University Press
- 発売日: 1993/01/01
- メディア: ペーパーバック
- 購入: 1人 クリック: 6回
- この商品を含むブログ (11件) を見る
link: http://consequently.org/edit/page/harmony