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
この人物の作品が掲載されている本を検索
この人物を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この人物と繋がる本を検索

ウィキペディアから連想