本文へ移動

年 〜
年

検索結果 52 件

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
全国の図書館

Model-theoretic logics

Model-theoretic logics
紙図書
edited by J. Barwise, S. FefermanAssociation for Symbolic Logicc2016
全国の図書館

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
全国の図書館

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
全国の図書館

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
全国の図書館

Situations and attitudes

Situations and attitudes
紙図書
Jon Barwise and John PerryCSLI Publicationsc1999
全国の図書館

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
全国の図書館

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

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

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
全国の図書館

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
全国の図書館

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
全国の図書館

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
全国の図書館

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
全国の図書館

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
全国の図書館

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
全国の図書館

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
全国の図書館

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
全国の図書館

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
全国の図書館

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
全国の図書館

Nonwellfounded Sets and Their Applications

Nonwellfounded Sets and Their Applications
記録メディア映像資料
Jon BarwiseAmerican Mathematical Societyc1990
全国の図書館
RSS