本文に飛ぶ

年 〜
年

検索結果 53 件

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

Admissible sets and structures : an approach to definability theory : hardback
紙図書
Jon BarwiseAssociation for Symbolic Logicc2016
全国の図書館
  • 著者標目Barwise, Jon

Model-theoretic logics

Model-theoretic logics
紙図書
edited by J. Barwise, S. FefermanAssociation for Symbolic Logicc2016
全国の図書館
  • 著者標目Barwise, Jon Feferman, Solomon

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
全国の図書館
  • 著者標目Barker-Plummer, Dave Barwise, Jon Etchemendy, John Murray, Mich...

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

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

Situations and attitudes

Situations and attitudes
紙図書
Jon Barwise and John PerryCSLI Publicationsc1999
全国の図書館
  • 著者標目Barwise, Jon Perry, John

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

Information flow : the logic of distributed systems : hardback : pbk
紙図書
Jon Barwise, Jerry SeligmanCambridge University Press1997
全国の図書館
  • 著者標目Barwise, Jon Seligman, Jerry

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

Vicious circles : on the mathematics of non-wellfounded phenomena : pbk
紙図書
Jon Barwise and Lawrence MossCSLI Publicationsc1996
全国の図書館
  • 著者標目Barwise, Jon Moss, Lawrence Stuart

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

Logical reasoning with diagrams

Logical reasoning with diagrams
紙図書
edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.]Oxford University Press1996
全国の図書館
  • 著者標目Allwein, Gerard Barwise, Jon

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

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

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

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

Nonwellfounded Sets and Their Applications

Nonwellfounded Sets and Their Applications
記録メディア映像資料
Jon BarwiseAmerican Mathematical Societyc1990
全国の図書館
  • 著者標目Barwise, Jon

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
RSS