Etchemendy, John, 1952-
著者名典拠詳細を非表示
著者の属性 | 個人 |
---|---|
一般注記 | Barwise, J. The liar, 1987: CIP t.p. (John Etchemendy) data sheet (b. 5-16-52) |
生没年等 | 1952 |
別名 | エチェメンディ, ジョン<エチェメンディ, ジョン> エチメンディ, ジョン |
コード類 | 典拠ID=AU00102654 NCID=DA02109066 |
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 | Language proof and logic / Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu : pbk. - Stanford, Calif. : CSLI Publications , c2002 |
4 | The language of first-order logic : including the Macintosh version of Tarski's world 4.0 / Jon Barwise & John Etchemendy 3rd ed., rev. and expanded. - Stanford, CA : Center for the Study of Language and Information , c1993 |
5 | うそつき : 真理と循環をめぐる論考 / ジョン・バーワイズ, ジョン・エチェメンディ著 ; 金子洋之訳 東京 : 産業図書 , 1992.5 |