23 treff

Tarski's world
by Dave Barker-Plummer, Jon Barwise, John...
Bok Engelsk 2004
Language, proof, and logic
Jon Barwise & John Etchemendy ; in collab...
Bok Engelsk 2003
Language, proof, and logic
Jon Barwise and John Etchemendy ; in coll...
Bok Engelsk 1999
Information flow : the logic of distributed systems
Jon Barwise, Jerry Seligman
Bok Engelsk 1997
Logical Reasoning : with Diagrams
redigert av Gerard Allwein og Jon Barwise...
Bok Norsk 1996
Vicious circles : on the mathematics of non-wellfounded phenomena
Jon Barwise and Lawrence Moss
Bok Engelsk 1996
Hyperproof
Barwise, Jon
Bok Engelsk 1994
The language of first-order logic : including the Mackintosh version of Tarski's world 4.0
Jon Barwise & John Etchemendy
Bok Engelsk 1993
Tarski's world : version 4.0 for Macintosh
Jon Barwise & John Etchemendy
Bok Engelsk 1993
Turing's World 3.0 for the Macintosh : an introduction to computability theory
Jon Barwise & John Etchemendy
Bok Engelsk 1993
The language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4.0
Jon Barwise & John Etchemendy
Bok Engelsk 1992
The language of first-order logic : including the MacintoshTM program Tarski's world
Jon Barwise and John Etchemendy
Bok Engelsk 1991
The language of first-order logic : including the program Tarski's world
Jon Barwise and John Etchemendy
Bok Engelsk 1990
The liar : an essay on truth and circularity
Jon Barwise and John Etchemendy
Bok Engelsk 1989
The situation in logic
Jon Barwise
Bok Engelsk 1989
The liar : an essay on truth and circularity
Jon Barwise and John Etchemendy
Bok Engelsk 1987
Model-theoretic logics
edited by J. Barwise and S. Feferman
Bok Språk ikke angitt 1985
Situations and attitudes
Jon Barwise and John Perry
Bok Engelsk 1983
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
Kleene Symposium
Bok Språk ikke angitt 1980
Handbook of mathematical logic
edited by Jon Barwise ; with the cooperat...
Bok Engelsk 1977
Admissible sets and structures : an approach to definability theory
Barwise, Jon
Bok Engelsk 1975
Studies in model theory
Jon Barwise ... [et al.] ; M.D. Morley, e...
Bok Engelsk 1973
The syntax and semantics of infinitary languages
Symposium on Infinitary Logic
Bok Engelsk 1968