| NCID | DA15617478 |
| 名称(HDNG) | Barker-Plummer, Dave |
| から見よ(SF) | Plummer, Dave Barker- |
| 注記(NOTE) | Language, proof, and logic, 1999: CIP t.p. (Dave Barker-Plummer)
Words, proofs, and diagrams, 2002: ECIP t.p. (Dave Barker-Plummer) data view (b. Oct. 24, 1960)
SRC:論理学の基礎と演習 / ジョン・バーワイズ, ジョン・エチメンディ著 ; 大沢秀介 [ほか] 訳 (慶應義塾大学出版会, 2006.9) |
| LCAID | 99054198 |