本文に飛ぶ

年 〜
年

検索結果 21 件

Logical reasoning with diagrams & sentences using Hyperproof : pbk

Logical reasoning with diagrams & sentences using Hyperproof : pbk
紙図書
Dave Barker-Plummer, Jon Barwise, & John Etchemendy ; program by Michael Murray and Albert Liu ; with additional programming by Murad Akhter and Andrei AronCSLI Publicationsc2017
全国の図書館
  • 著者標目...e Barwise, Jon Etchemendy, John Murray, Michael Liu, Albert A...

Language, proof and logic : pbk 2nd ed

Language, proof and logic : pbk 2nd ed
紙図書
Dave Barker-Plummer, Jon Barwise & John Etchemendy ; in collaboration with Albert Liu, Michael Murray, Emma PeaseCSLI Publications2011
全国の図書館
  • 著者標目Barker-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
紙図書
by Dave Barker-Plummer, Jon Barwise, John Etchemendy ; in collaboration with Albert LiuCSLI Publicationsc2008
全国の図書館
  • 著者標目Barker-Plummer, Dave Barwise, Jon Etchemendy, John Liu, Albert

Language proof and logic : pbk

Language proof and logic : pbk
紙図書
Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert LiuCSLI Publicationsc2002
全国の図書館
  • 著者標目Barwise, Jon Etchemendy, John Allwein, Gerard Barker-Plumme...

The concept of logical consequence : pbk

The concept of logical consequence : pbk
紙図書
John EtchemendyCLSI Publicationsc1999
全国の図書館
  • 著者標目Etchemendy, John

Language proof and logic : pbk

Language proof and logic : pbk
紙図書
Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert LiuCSLI Publications1999
全国の図書館
  • 著者標目Barwise, 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
紙図書
Jon Barwise & John EtchemendyCSLI Publicationsc1993
全国の図書館
  • 著者標目Barwise, 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
紙図書
Jon Barwise & John EtchemendyCenter for the Study of Language and Informationc1993
全国の図書館
  • 著者標目Barwise, Jon Etchemendy, John

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

Tarski's world : version 4.0 for the Macintosh : pbk
紙図書
Jon Barwise & John EtchemendyCenter for the Study of Language and Informationc1993
全国の図書館
  • 著者標目Barwise, 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
紙図書
Jon Barwise and John EtchemendyCSLI, Center for the Study of Language and Informationc1993
全国の図書館
  • 著者標目Barwise, 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
紙図書
Jon Barwise & John EtchemendyCenter for the Study of Language and Informationc1992
全国の図書館
  • 著者標目Barwise, Jon Etchemendy, John

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

Tarski's world 3.0 : including the Macintosh program :pkb.
紙図書
Jon Barwise and John EtchemendyCenter for the Study of Language and Informationc1991
全国の図書館
  • 著者標目Barwise, Jon Etchemendy, John

Hyperproof : pbk

Hyperproof : pbk
紙図書
Jon Barwise & John Etchemendy ; program by Gerard Allwein, Mark Greaves, and Michael Lenz ; with additional programming by Alan Bush ... [et al.]CSLI Publicationsc1994
全国の図書館
  • 著者標目Barwise, 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
紙図書
Jon Barwise and John EtchemendyCenter for the Study of Language and Informationc1991
全国の図書館
  • 著者標目Barwise, Jon Etchemendy, John

The concept of logical consequence

The concept of logical consequence
紙図書
John EtchemendyHarvard University Press1990
全国の図書館
  • 著者標目Etchemendy, 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
紙図書
Jon Barwise and John EtchemendyCenter for the Study of Language and Information[c1990]
全国の図書館
  • 著者標目Barwise, Jon Etchemendy, John

The liar : an essay on truth and circularity : pbk

The liar : an essay on truth and circularity : pbk
紙図書
Jon Barwise and John EtchemendyOxford University Press1989
全国の図書館
  • 著者標目Barwise, Jon Etchemendy, John

The concept of logical consequence / John Etchemendy.

The concept of logical consequence / John Etchemendy.
紙図書
Harvard University Press1990.<H35-A14>
国立国会図書館
  • 著者標目Etchemendy, John, 1952-

The liar : an essay on truth and circularity : hard

The liar : an essay on truth and circularity : hard
紙図書
Jon Barwise and John EtchemendyOxford University Press1987
全国の図書館
  • 著者標目Barwise, Jon Etchemendy, John

論理学の基礎と演習

論理学の基礎と演習
紙図書
ジョン・バーワイズ, ジョン・エチメンディ 著, 大沢秀介, 白旗優, 中川大, 中戸川孝治, 橋本康二 訳慶應義塾大学出版会2006.9<YU7-H4472>
国立国会図書館全国の図書館
  • 著者標目Barwise, Jon, -2000 Etchemendy, John, 1952- 大沢, 秀介 白旗, 優 中川, 大
RSS