補足
Robinson算術 Q については、以下の本を参考にしてください。
- 作者: George S. Boolos,John P. Burgess,Richard C. Jeffrey
- 出版社/メーカー: Cambridge University Press
- 発売日: 2007/09/17
- メディア: ペーパーバック
- クリック: 5回
- この商品を含むブログ (3件) を見る
An Introduction to Goedel's Theorems (Cambridge Introductions to Philosophy)
- 作者: Peter Smith
- 出版社/メーカー: Cambridge University Press
- 発売日: 2007/07/26
- メディア: ペーパーバック
- クリック: 10回
- この商品を含むブログ (2件) を見る
