Periódicos correntes

Your search returned 7 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.	Fundamentals of generalized recursion theory/ Melvin Fitting. by Fitting, Melvin, 1942- Series: Studies in logic and the foundations of mathematics ; v. 105. Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, c1981 Availability: Items available for loan: Castorina (1)Call number: 511.3 F547f 1981 IMPA. Found in Open Library: Place hold Add to cart (remove)
	3.	No cover image available No cover image available No cover image available Recursive number theory; a development of recursive arithmetic in a logic-free equation calculus. by Goodstein, R. L. (Reuben Louis) Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1957 Availability: Items available for loan: Castorina (1)Call number: 511.352 G655r 1957 IMPA. Found in Open Library: Place hold Add to cart (remove)
	4.	No cover image available No cover image available No cover image available Recursive analysis. by Goodstein, R. L. (Reuben Louis) Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1961 Availability: Items available for loan: Castorina (1)Call number: 512 G655r 1961 IMPA. Found in Open Library: Place hold Add to cart (remove)
	5.	Classical recursion theory: the theory of functions and sets of natural numbers/ Piergiorgio Odifreddi. by Odifreddi, Piergiorgio, 1950- Series: Studies in logic and the foundations of mathematics ; v. 125. Publication details: Amsterdam; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1989 Availability: Items available for loan: Castorina (1)Call number: 511.3 O24c 1989 IMPA. Found in Open Library: Place hold Add to cart (remove)
	6.	Generalized recursion theory. Proceedings of the 1972 Oslo symposium/ Ed. by J. E. Fenstad and P. G. Hinman. by Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo) Fenstad, Jens Erik [ed.] Hinman, Peter G [ed.] Series: Studies in logic and the foundations of mathematics ; v. 79. Publication details: Amsterdam ; New York: North-Holland, American Elsevier, 1974 Availability: Items available for loan: Castorina (1)Call number: 511.3 G326 1974 IMPA. Found in Open Library: Place hold Add to cart (remove)
	7.	Generalized recursion theory II: proceedings of the 1977 Oslo symposium/ edited by J. E. Fenstad, R. O. Gandy, G. E. Sacks. by Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo) Fenstad, Jens Erik Gandy, R. O. (Robin O.) Sacks, Gerald E Series: Studies in logic and the foundations of mathematics ; v. 94. Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1978 Availability: Items available for loan: Castorina (1)Call number: 511.3 G326 1978 IMPA. Found in Open Library: Place hold Add to cart (remove)

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

Powered by Koha