Search results for "Language, proof and logic" | NDL Search

Search results 4

Group by title

Paper図書

ジョン・バーワイズ, ジョン・エチメンディ著, 大沢秀介, 白旗優, 中川大, 中戸川孝治, 橋本康二訳慶應義塾大学出版会2006.9<YU7-H4472>

National Diet LibraryOther Libraries in Japan

Summary, etc....SLI 論理学テキスト <i>Language, Proof and Logic</i> の翻訳書。付属のCD-ROM（<a href="h...

Paper図書

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" ...

Paper図書

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...

Paper図書

Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert LiuCSLI Publications1999

Other Libraries in Japan

Reached to the end of result.

RSS