Periódicos correntes

Your search returned 30 results.

Results
	21.	Descriptive set theory/ Yiannis N. Moschovakis. by Moschovakis, Yiannis N Series: Studies in logic and the foundations of mathematics ; v. 100 Publication details: Amsterdam; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, c1980 Availability: Items available for loan: Castorina (1)Call number: 511.322 M896d 1980 IMPA. Found in Open Library: Place hold Add to cart (remove)
	22.	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)
	23.	An algebraic approach to non-classical logics. by Rasiowa, Helena Series: Studies in logic and the foundations of mathematics ; v. 78. Publication details: Amsterdam; New York: North-Holland, American Elsevier, 1974 Availability: Items available for loan: Castorina (1)Call number: 511.3 R224a 1974 IMPA. Found in Open Library: Place hold Add to cart (remove)
	24.	Equivalents of the axiom of choice, II/ Herman Rubin and Jean E. Rubin. by Rubin, Herman Rubin, Jean E Series: Studies in logic and the foundations of mathematics ; v. 116. Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1985 Availability: Items available for loan: Castorina (1)Call number: 511.322 R896e 1985 IMPA. Found in Open Library: Place hold Add to cart (remove)
	25.	Classification theory and the number of non-isomorphic models/ S. Shelah. by Shelah, Saharon Series: Studies in logic and the foundations of mathematics ; v. 92. 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 S544c 1978 IMPA. Found in Open Library: Place hold Add to cart (remove)
	26.	Foundations of infinitesimal stochastic analysis/ K. D. Stroyan and José Manuel Bayod. by Stroyan, K. D Bayod, José Manuel Series: Studies in logic and the foundations of mathematics ; v. 119. Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1986 Availability: Items available for loan: Castorina (1)Call number: 511.3 S925f 1986 IMPA. Found in Open Library: Place hold Add to cart (remove)
	27.	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)
	28.	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)
	29.	Algebra of proofs/ M. E. Szabo. by Szabo, M. E Series: Studies in logic and the foundations of mathematics ; v. 88. 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 S996a 1978 IMPA. Found in Open Library: Place hold Add to cart (remove)
	30.	No cover image available No cover image available Constructivism in mathematics: an introduction/ A.S. Troelstra, D. van Dalen. by Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk), 1932- Series: Studies in logic and the foundations of mathematics ; v. 121. Publication details: Amsterdam; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1988 Availability: Items available for loan: Castorina (1)Call number: 511.3 T843c 1988 IMPA. Found in Open Library: Place hold Add to cart (remove)

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

Powered by Koha