人物別名
John Etchemendy
エチメンディ, ジョン
エチェメンディ, ジョン
生年
1952年
没年
-
タイトル
著作者等
出版元
刊行年月
論理学の基礎と演習
ジョン・バーワイズ, ジョン・エチメンディ 著 ; 大沢秀介, 白旗優, 中川大, 中戸川孝治, 橋本康二 訳
慶應義塾大学出版会
2006.9
うそつき
ジョン・バーワイズ, ジョン・エチェメンディ 著 ; 金子洋之 訳
産業図書
1992.5
Logical reasoning with diagrams & sentences using Hyperproof
Dave Barker-Plummer, Jon Barwise, & John Etchemendy ; program by Michael Murray and Albert Liu ; with additional programming by Murad Akhter and Andrei Aron
CSLI
c2017
Language, proof and logic
Dave Barker-Plummer, Jon Barwise & John Etchemendy ; in collaboration with Albert Liu, Michael Murray, Emma Pease
CSLI
2011
Tarski's world
by Dave Barker-Plummer, Jon Barwise, John Etchemendy ; in collaboration with Albert Liu
CSLI
c2008
Language proof and logic
Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu
CSLI
c2002
The concept of logical consequence
John Etchemendy
CLSI
c1999
Language proof and logic
Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu
CSLI
Seven Bridges Press
1999
Hyperproof
Jon Barwise & John Etchemendy ; program by Gerard Allwein, Mark Greaves, and Michael Lenz ; with additional programming by Alan Bush ... [et al.]
CSLI
c1994
この人物を:
書棚を選択して下さい
件が連想されています