23 treff

Barwise Jon
Vicious circles : on the mathematics of non-wellfounded phenomena
Jon Barwise and Lawrence Moss
Bok Engelsk 1996
The liar : an essay on truth and circularity
Jon Barwise and John Etchemendy
Bok Engelsk 1987
Situations and attitudes
Jon Barwise and John Perry
Bok Engelsk 1983
The liar : an essay on truth and circularity
Jon Barwise and John Etchemendy
Bok Engelsk 1989
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
Turing's World 3.0 for the Macintosh : an introduction to computability theory
Jon Barwise & John Etchemendy
Bok Engelsk 1993
Admissible sets and structures : an approach to definability theory
Barwise, Jon
Bok Engelsk 1975
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 situation in logic
Jon Barwise
Bok Engelsk 1989
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
The syntax and semantics of infinitary languages
Symposium on Infinitary Logic
Bok Engelsk 1968
Handbook of mathematical logic
edited by Jon Barwise ; with the cooperat...
Bok Engelsk 1977
Tarski's world
by Dave Barker-Plummer, Jon Barwise, John...
Bok Engelsk 2004
Studies in model theory
Jon Barwise ... [et al.] ; M.D. Morley, e...
Bok Engelsk 1973
Logical reasoning with diagrams
edited by Gerard Allwein and Jon Barwise ...
Bok Engelsk 1996
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
Model-theoretic logics
edited by J. Barwise and S. Feferman
Bok Språk ikke angitt 1985