Your search returned 4 results.

Sort
Results
1.
Selected works/ Ed. by L. Borkowski; translated from the Polish by O. Wojtasiewicz. by
  • Ýukasiewicz, Jan
  • Borkowski, Ludwik [ed.]
Series: Studies in logic and the foundations of mathematics
Language: engpol
Publication details: Amsterdam ; North-Holland, 1970
Availability: Items available for loan: Castorina (1)Call number: 511.3 Y94 1970 IMPA.

2.
Intuitionism and proof theory: Proceedings of the summer conference at Buffalo, N.Y., 1968/ edited by A. Kino, J. Myhill and R. E. Vesley. by
  • Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)
  • Kino, A [ed.]
  • Myhill, John [ed.]
  • Vesley, Richard Eugene, 1932- [ed.]
  • State University College at Buffalo
Series: Studies in logic and the foundations of mathematics
Publication details: Amsterdam: North-Holland, 1970
Availability: Items available for loan: Castorina (1)Call number: 511.3 I61 1970 IMPA.

3.
Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968. Ed. by Yehoshua Bar-Hillel. by
  • International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem, Israel)
  • Bar-Hillel, Yehoshua [ed.]
  • Akademyah ha-le umit hayisre elit le-mada im
  • International Mathematical Union
  • Einstein Institute of Mathematics
Series: Studies in logic and the foundations of mathematics
Publication details: Amsterdam ; North-Holland, 1970
Availability: Items available for loan: Castorina (1)Call number: 511.322 M426 1970 IMPA.

4.
The theory of models/ edited by J.W. Addison, Leon Henkin and Alfred Tarski. by
  • International Symposium on the Theory of Models (1963 : Berkeley, Calif.))
Series: Studies in logic and the foundations of mathematics
Publication details: Amsterdam ;: Pondon: North-Holland, 1970
Availability: Items available for loan: Castorina (1)Call number: 511.3 T396 1970 IMPA.

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


Powered by Koha