絶版だと思います。
| ページ | 位置 | 誤 | 正 |
|---|---|---|---|
| 25 | l.2 | (&EI) | (&El) |
| l.-7([A&B]からAを導くところ) | (&I) | (&El) | |
| 26 | l.3(false から〜Aを導くところ) | (→I) | (C) |
| 48 | l.-12 | Hrbrand領域Hの | Herbrand領域Hの |
| 233 | (3)式 | Ap(Ap(x,y),z) | Ap(Ap(w,x),y) |
| 249 | l.15 | p(A&B)=φ | A&B=φ |
| 著者 | 赤間世紀 |
|---|---|
| 題名 | 計算論理学入門 |
| 出版者 | 啓学出版 |
| 出版地 | 東京 |
| ISBN | 4-7665-1159-X |
| 発行 | 1992-12-30 第１刷 |