ジョン・バーワイズ, ジョン・エチメンディ 著, 大沢秀介, 白旗優, 中川大, 中戸川孝治, 橋本康二 訳慶應義塾大学出版会2006.9<YU7-H4472>
National Diet LibraryOther Libraries in Japan
- Summary, etc....SLI 論理学テキスト <i>Language, Proof and Logic</i> の翻訳書。付属のCD-ROM（<a href="h...
Dave Barker-Plummer, Jon Barwise & John Etchemendy ; in collaboration with Albert Liu, Michael Murray, Emma PeaseCSLI Publications2011
Other Libraries in Japan
- Note (General)...ed by leaflet "Language, proof and logic 2nd edition software manual" ...
Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert LiuCSLI Publicationsc2002
Other Libraries in Japan
- Note (General)...ghtly changed "Language, proof and logic software manual / Gerald Allw...
Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert LiuCSLI Publications1999
Other Libraries in Japan