Periódicos correntes

Your search returned 6 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.	No cover image available No cover image available No cover image available Two papers on the predicate calculus. by Kleene, Stephen Cole, 1909-1994 Series: Menoirs of the American Mathematical Society ; no. 10. Publication details: Providence, R.I.: American Mathematical Society, 1952 Availability: Items available for loan: Castorina (1). Place hold Add to cart (remove)
	3.	No cover image available No cover image available No cover image available Mathematical logic/ Stephen Cole Kleene. by Kleene, Stephen Cole, 1909-1994 Publication details: New York: Wiley, [1967] Availability: Items available for loan: Castorina (1)Call number: 511.3 K63m 1967 IMPA. Found in Open Library: Place hold Add to cart (remove)
	4.	No cover image available No cover image available No cover image available The foundations of intuitionistic mathematics, especially in relation to recursive functions/ [by] Stephen Cole Kleene [and] Richard Eugene Vesley. by Kleene, Stephen Cole, 1909-1994 Vesley, Richard Eugene, 1932- Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1965 Availability: Items available for loan: Castorina (1)Call number: 511.3 K63f 1965 IMPA. Found in Open Library: Place hold Add to cart (remove)
	5.	No cover image available No cover image available No cover image available Formalized recursive functionals and formalized realizability/ by S. C. Kleene. by Kleene, Stephen Cole, 1909-1994 Series: Memoirs of the American Mathematical Society ; no. 89 Publication details: Providence, R.I.: American Mathematical Society, 1969 Availability: Items available for loan: Castorina (1). Place hold Add to cart (remove)
	6.	No cover image available No cover image available No cover image available Introduction to metamathematics/ by Stephen Cole Kleene. by Kleene, Stephen Cole, 1909-1994 Series: Bibliotheca mathematica ; v. 1. Publication details: Amsterdam ; North-Holland, 1971, c1952 Availability: Items available for loan: Castorina (1)Call number: 511.3 K63i 1971 IMPA. Place hold Add to cart (remove)

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

Powered by Koha