Your search returned 7 results.

Sort
Results
1.
Studies in model theory/ Jon Barwise ... [et. al.]; M. D. Morley, editor. by
  • Barwise, Jon
Series: Studies in mathematics (Mathematical Association of America) ; v. 8.
Publication details: [Buffalo]: Mathematical Association of America, [c1973]
Availability: Items available for loan: Castorina (1)Call number: 511.3 S933 1973 IMPA.

2.
Handbook of mathematical logic/ edited by Jon Barwise, with the cooperation of H. J. Keisler ... [et al]. by
  • Barwise, Jon
  • Keisler, H. Jerome
Series: Studies in logic and the foundations of mathematics ; v. 90.
Publication details: Amsterdam ; New York: North-Holland, 1977
Availability: Items available for loan: Castorina (1)Call number: 511.3 H236 1977 IMPA.

3.
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. by
  • Kleene, Stephen Cole, 1909-1994
  • Barwise, Jon
  • Keisler, H. Jerome
  • Kunen, Kenneth
  • Kleene Symposium (1978 : Madison, Wis.)
Series: Studies in logic and the foundations of mathematics ; v. 101.
Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1980
Availability: Items available for loan: Castorina (1)Call number: 510.92 K64 1980 IMPA.

4.
Logical reasoning with diagrams/ edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.]. by
  • Allwein, Gerard, 1956-
  • Barwise, Jon
Series: Studies in logic and computation
Publication details: New York: Oxford University Press, 1996
Availability: Items available for loan: Castorina (1)Call number: 511.3 A532 1996 IMPA.

5.
The Syntax and semantics of infinitary languages. by
  • Barwise, Jon [ed.]
Series: Lecture notes in mathematics (Springer-Verlag) ; 72
Publication details: Berlin: Springer-Verlag, 1968
Availability: Items available for loan: Castorina (1).

6.
The liar: an essay on truth and circularity/ Jon Barwise and John Etchemendy. by
  • Barwise, Jon
  • Etchemendy, John, 1952-
Publication details: New York: Oxford University Press, 1987
Availability: Items available for loan: Castorina (1)Call number: 511.3 B296l 1987 IMPA.

7.
Admissible sets and structures: an approach to definability theory/ Jon Barwise. by
  • Barwise, Jon
Series: Perspectives in mathematical logic
Publication details: Berlin; New York: Springer-Verlag, 1975
Availability: Items available for loan: Castorina (2)Call number: 511.3 B296a 1975 IMPA, ...

Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha