Jump to main content

yr 〜
yr

Search results 53

Admissible sets and structures : an approach to definability theory : hardback

Admissible sets and structures : an approach to definability theory : hardback
Paper図書
Jon BarwiseAssociation for Symbolic Logicc2016
Other Libraries in Japan
  • Author HeadingBarwise, Jon

Model-theoretic logics

Model-theoretic logics
Paper図書
edited by J. Barwise, S. FefermanAssociation for Symbolic Logicc2016
Other Libraries in Japan
  • Author HeadingBarwise, Jon Feferman, Solomon

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 HeadingBarker-Plummer, Dave Barwise, Jon Etchemendy, John Murray, Mich...

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

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

Situations and attitudes

Situations and attitudes
Paper図書
Jon Barwise and John PerryCSLI Publicationsc1999
Other Libraries in Japan
  • Author HeadingBarwise, Jon Perry, John

Information flow : the logic of distributed systems : hardback : pbk

Information flow : the logic of distributed systems : hardback : pbk
Paper図書
Jon Barwise, Jerry SeligmanCambridge University Press1997
Other Libraries in Japan
  • Author HeadingBarwise, Jon Seligman, Jerry

Vicious circles : on the mathematics of non-wellfounded phenomena : pbk

Vicious circles : on the mathematics of non-wellfounded phenomena : pbk
Paper図書
Jon Barwise and Lawrence MossCSLI Publicationsc1996
Other Libraries in Japan
  • Author HeadingBarwise, Jon Moss, Lawrence Stuart

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

Logical reasoning with diagrams

Logical reasoning with diagrams
Paper図書
edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.]Oxford University Press1996
Other Libraries in Japan
  • Author HeadingAllwein, Gerard Barwise, Jon

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

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

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

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

Nonwellfounded Sets and Their Applications

Nonwellfounded Sets and Their Applications
Recording Media映像資料
Jon BarwiseAmerican Mathematical Societyc1990
Other Libraries in Japan
  • Author HeadingBarwise, Jon

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
RSS