Barker-Plummer, Dave
著者名典拠詳細を非表示
著者の属性 | 個人 |
---|---|
一般注記 | 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) EDSRC:Language proof and logic / Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu(CSLI Publications, c2002) |
生没年等 | 1960 |
別名 | Plummer, Dave Barker- |
コード類 | 典拠ID=AU10037828 NCID=DA15617478 |
1 | Language, proof and logic / Dave Barker-Plummer, Jon Barwise & John Etchemendy ; in collaboration with Albert Liu, Michael Murray, Emma Pease : pbk. - 2nd ed. - Stanford : CSLI Publications , 2011 |
2 | 論理学の基礎と演習 / ジョン・バーワイズ, ジョン・エチメンディ著 ; 大沢秀介 [ほか] 訳 東京 : 慶應義塾大学出版会 , 2006.9 |
3 | Studies in the theory and applications of diagrams / Dave Barker-Plummer, series editor Stanford, Calif. : CSLI Publications |