Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Author: #Barwise Jon)
Results:9items
Admissible Sets and Structures: An Approach to Definability Theory
: Springer , 1976
E-Book
Admissible sets and structures : an approach to definability theory / Jon Barwise.
Berlin : Springer , 1975. - (Perspectives in mathematical logic)
Books
Handbook of mathematical logic / edited by Jon Barwise ; with the cooperation of H.J. Keisler ... [et al.]
: pbk. - Amsterdam ; New York : North-Holland Pub. Co. , 1977. - (Studies in logic and the foundations of mathematics ; v. 90)
Studies in model theory / {by} Jon Barwise {and others} M. D. Morley, editor.
v. 8. - {Buffalo} : Mathematical Association of America , {c1973}
The Syntax and semantics of infinitary languages / edited by Jon Barwise.
72. - Berlin : Springer , 1968. - (Lecture notes in mathematics ; 72)
The liar : an essay on truth and circularity / Jon Barwise and John Etchemendy
: hard. - New York ; Tokyo : Oxford University Press , 1987
The Syntax and Semantics of Infinitary Languages / edited by Jon Barwise
1st ed. 1968.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1968). - (Lecture Notes in Mathematics. ISSN:16179692 ; 72)
Model-theoretic logics / edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ... {et al.}.
New York : Springer-Verlag , c1985.. - (Perspectives in mathematical logic)
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.
v. 101. - Amsterdam : North-Holland , 1980. - New York : Elsevier North-Holland , 1980. - (Studies in logic and the foundations of mathematics ; v. 101)