Periódicos correntes

Your search returned 9 results.

Results
	1.	No cover image available No cover image available Introduction to mathematical logic. Vol. I/ Alonzo Church. by Church, Alonzo, 1903- Series: Princeton mathematical series ; 17. Publication details: Princeton, N.J.: Princeton University Press, 1956 Availability: Items available for loan: Castorina (1)Call number: 511.3 C561i 1956 IMPA. Place hold Add to cart (remove)
	2.	No cover image available No cover image available The calculi of lambda-conversion/ by Alonzo Church. by Church, Alonzo, 1903- Series: Annals of mathematics studies ; 6. Publication details: Princeton, N.J.: London: Princeton University Press, H. Milford, Oxford university press, 1941 Availability: Items available for loan: Castorina (1)Call number: 511.3 C561c 1941 IMPA. Found in Open Library: Place hold Add to cart (remove)
	3.	The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory/ by Kurt Gödel. by Godel, Kurt, 1906-1978 Brown, George William, 1917- Series: Annals of mathematics studies ; no. 3. Publication details: Princeton, N.J.: London: Princeton University Press, H. Milford, Oxford university press, 1940 Availability: Items available for loan: Castorina (2)Call number: 511.3 G581c 1940 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	4.	The search for mathematical roots, 1870-1940: logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel/ I. Grattan-Guinness. by Grattan-Guinness, I Publication details: Princeton, N.J.: Princeton University Press, 2000 Online access: Table of contents Availability: Items available for loan: Castorina (1)Call number: 510.9 G773s 2000 IMPA. Found in Open Library: Place hold Add to cart (remove)
	5.	No cover image available No cover image available On group-theoretic decision problems and their classification/ by Charles F. Miller, III. by Miller, C. F. (Charles F.), 1941- Series: Annals of mathematics studies ; no. 68. Publication details: Princeton, N.J.: Princeton University Press, 1971 Availability: Items available for loan: Castorina (1)Call number: 512.2 M647g 1971 IMPA. Found in Open Library: Place hold Add to cart (remove)
	6.	No cover image available No cover image available Mathematics and plausible reasoning/ George Pólya. by Pólya, George, 1887-1985 Publication details: Princeton, N.J.: Princeton University Press, 1954 Availability: Items available for loan: Castorina (2)Call number: 510.1 P781m 1954 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	7.	No cover image available No cover image available Induction and analogy in mathematics/ by G. Polya. by Pólya, George, 1887-1985 Series: Mathematics and Plausible Reasoning ; v. 1 Publication details: Princeton, N.J., Princeton University Press, 1954 Availability: Items available for loan: Castorina (1)Call number: 510.1 P781i 1954 IMPA. Found in Open Library: Place hold Add to cart (remove)
	8.	No cover image available No cover image available The two-valued iterative systems of mathematical logic/ by Emil L. Post. by Post, Emil Leon, 1897-1954 Series: Annals of mathematics studies ; no. 5 Publication details: Princeton, N.J.: London: Princeton University Press, H. Milford, Oxford university press, 1941 Availability: Items available for loan: Castorina (1)Call number: 511.3 P857e 1941 IMPA. Found in Open Library: Place hold Add to cart (remove)
	9.	Two applications of logic to mathematics/ by Gaisi Takeuti. by Takeuti, Gaisi, 1926- Series: Publications of the Mathematical Society of Japan ; 13. \| Publications of the Mathematical Society of Japan. Kanio memorial lectures ; 3. Publication details: [Tokyo]: [Princeton, NJ]: Iwanami Shoten, Princeton University Press, 1978 Availability: Items available for loan: Castorina (1)Call number: 511.3 T136t 1978 IMPA. Found in Open Library: Place hold Add to cart (remove)

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

Powered by Koha