Jump to main content

yr 〜
yr

Search results 21

Logical reasoning with diagrams & sentences using Hyperproof : pbk

Logical reasoning with diagrams & sentences using Hyperproof : pbk
Paper図書
Dave Barker-Plummer, Jon Barwise, & John Etchemendy ; program by Michael Murray and Albert Liu ; with additional programming by Murad Akhter and Andrei AronCSLI Publicationsc2017
Other Libraries in Japan
  • Author Heading...e Barwise, Jon Etchemendy, John Murray, Michael Liu, Albert A...

Language, proof and logic : pbk 2nd ed

Language, proof and logic : pbk 2nd ed
Paper図書
Dave Barker-Plummer, Jon Barwise & John Etchemendy ; in collaboration with Albert Liu, Michael Murray, Emma PeaseCSLI Publications2011
Other Libraries in Japan
  • Author HeadingBarker-Plummer, Dave Barwise, Jon Etchemendy, John Liu, Albert Murray, Michael P...

Tarski's world :pbk. : alk. paper Rev. and expanded

Tarski's world :pbk. : alk. paper Rev. and expanded
Paper図書
by Dave Barker-Plummer, Jon Barwise, John Etchemendy ; in collaboration with Albert LiuCSLI Publicationsc2008
Other Libraries in Japan
  • Author HeadingBarker-Plummer, Dave Barwise, Jon Etchemendy, John Liu, Albert

Language proof and logic : pbk

Language proof and logic : pbk
Paper図書
Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert LiuCSLI Publicationsc2002
Other Libraries in Japan
  • Author HeadingBarwise, Jon Etchemendy, John Allwein, Gerard Barker-Plumme...

The concept of logical consequence : pbk

The concept of logical consequence : pbk
Paper図書
John EtchemendyCLSI Publicationsc1999
Other Libraries in Japan
  • Author HeadingEtchemendy, John

Language proof and logic : pbk

Language proof and logic : pbk
Paper図書
Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert LiuCSLI Publications1999
Other Libraries in Japan
  • Author HeadingBarwise, Jon Etchemendy, John Allwein, Gerard Barker-Plumme...

Tarski's world : version 4.0 for MS Windows : pbk

Tarski's world : version 4.0 for MS Windows : pbk
Paper図書
Jon Barwise & John EtchemendyCSLI Publicationsc1993
Other Libraries in Japan
  • Author HeadingBarwise, Jon Etchemendy, John

The language of first-order logic : including the Macintosh version of Tarski's world 4.0 3rd ed., rev. and expanded

The language of first-order logic : including the Macintosh version of Tarski's world 4.0 3rd ed., rev. and expanded
Paper図書
Jon Barwise & John EtchemendyCenter for the Study of Language and Informationc1993
Other Libraries in Japan
  • Author HeadingBarwise, Jon Etchemendy, John

Tarski's world : version 4.0 for the Macintosh : pbk

Tarski's world : version 4.0 for the Macintosh : pbk
Paper図書
Jon Barwise & John EtchemendyCenter for the Study of Language and Informationc1993
Other Libraries in Japan
  • Author HeadingBarwise, Jon Etchemendy, John

Turing's World 3.0 : an introduction to computability theory : for the Macintosh

Turing's World 3.0 : an introduction to computability theory : for the Macintosh
Paper図書
Jon Barwise and John EtchemendyCSLI, Center for the Study of Language and Informationc1993
Other Libraries in Japan
  • Author HeadingBarwise, Jon Etchemendy, John

The language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4.0 3rd ed., rev. and expanded

The language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4.0 3rd ed., rev. and expanded
Paper図書
Jon Barwise & John EtchemendyCenter for the Study of Language and Informationc1992
Other Libraries in Japan
  • Author HeadingBarwise, Jon Etchemendy, John

Tarski's world 3.0 : including the Macintosh program :pkb.

Tarski's world 3.0 : including the Macintosh program :pkb.
Paper図書
Jon Barwise and John EtchemendyCenter for the Study of Language and Informationc1991
Other Libraries in Japan
  • Author HeadingBarwise, Jon Etchemendy, John

Hyperproof : pbk

Hyperproof : pbk
Paper図書
Jon Barwise & John Etchemendy ; program by Gerard Allwein, Mark Greaves, and Michael Lenz ; with additional programming by Alan Bush ... [et al.]CSLI Publicationsc1994
Other Libraries in Japan
  • Author HeadingBarwise, Jon Etchemendy, John

The language of first-order logic : including the Macintosh program Tarski's world 2nd ed., rev. and expanded

The language of first-order logic : including the Macintosh program Tarski's world 2nd ed., rev. and expanded
Paper図書
Jon Barwise and John EtchemendyCenter for the Study of Language and Informationc1991
Other Libraries in Japan
  • Author HeadingBarwise, Jon Etchemendy, John

The concept of logical consequence

The concept of logical consequence
Paper図書
John EtchemendyHarvard University Press1990
Other Libraries in Japan
  • Author HeadingEtchemendy, John

The language of first-order logic including the program Tarski's World

The language of first-order logic including the program Tarski's World
Paper図書
Jon Barwise and John EtchemendyCenter for the Study of Language and Information[c1990]
Other Libraries in Japan
  • Author HeadingBarwise, Jon Etchemendy, John

The liar : an essay on truth and circularity : pbk

The liar : an essay on truth and circularity : pbk
Paper図書
Jon Barwise and John EtchemendyOxford University Press1989
Other Libraries in Japan
  • Author HeadingBarwise, Jon Etchemendy, John

The concept of logical consequence / John Etchemendy.

The concept of logical consequence / John Etchemendy.
Paper図書
Harvard University Press1990.<H35-A14>
National Diet Library
  • Author HeadingEtchemendy, John, 1952-

The liar : an essay on truth and circularity : hard

The liar : an essay on truth and circularity : hard
Paper図書
Jon Barwise and John EtchemendyOxford University Press1987
Other Libraries in Japan
  • Author HeadingBarwise, Jon Etchemendy, John

論理学の基礎と演習

論理学の基礎と演習
Paper図書
ジョン・バーワイズ, ジョン・エチメンディ 著, 大沢秀介, 白旗優, 中川大, 中戸川孝治, 橋本康二 訳慶應義塾大学出版会2006.9<YU7-H4472>
National Diet LibraryOther Libraries in Japan
  • Author HeadingBarwise, Jon, -2000 Etchemendy, John, 1952- 大沢, 秀介 白旗, 優 中川, 大
RSS