Periódicos correntes

Your search returned 4 results.

Results
	1.	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. Found in Open Library: Place hold Add to cart (remove)
	2.	Constructive mathematics: proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980/ edited by F. Richman. by Richman, Fred, 1938- Series: Lecture notes in mathematics (Springer-Verlag) ; 873. Publication details: Berlin; New York: Springer-Verlag, 1981 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	3.	No cover image available No cover image available No cover image available 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. Found in Open Library: Place hold Add to cart (remove)
	4.	The L. E. J. Brouwer Centenary Symposium: proceedings of the conference held in Noordwijkerhout, 8-13 June 1981/ edited by A.S. Troelstra and D. van Dalen. by L.E.J. Brouwer Centenary Symposium (1981 : Noordwijkerhout, Netherlands)) Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966 Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk), 1932- Series: Studies in logic and the foundations of mathematics ; v. 110. Publication details: Amsterdam ;: New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1982 Availability: Items available for loan: Castorina (1)Call number: 511.3 L534 1982 IMPA. Found in Open Library: Place hold Add to cart (remove)

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

Powered by Koha