Etchemendy, John - Webcat Plus

Etchemendy, John (1952-)

人物別名	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

この人物を：

mixiチェック

想-IMAGINE Book Search(関連情報検索)

件が連想されています

ページトップへ