Periódicos correntes

Your search returned 13 results.

Results
	1.	No cover image available No cover image available No cover image available Essays on the foundations of mathematics: dedicated to A. A. Fraenkel on his seventieth anniversary/ edited by Y. Bar-Hillel ... [and others] for the Hebrew University of Jerusalem. by Fraenkel, Abraham Adolf, 1891-1965 Bar-Hillel, Yehoshua Universitah ha-Ivrit bi-Yerushalayim Publication details: Jerusalem: Magnes Press, Hebrew University; sole distributors (outside Israel): North-Holland Pub. Co., 1961 Other title: Mehkarim bi-yesodot ha-matematikah Availability: Items available for loan: Castorina (1)Call number: 510.92 E78 1961 IMPA. Place hold Add to cart (remove)
	2.	No cover image available No cover image available No cover image available O método dos isomorfismos parciais: um estudo da expressabilidade matemática/ José Carlos Cifuentes. by Cifuentes, José Carlos Universidade Estadual de Campinas. Centro de Lógica, Epistemologia e História de Ciência Series: Coleção CLE ; v. 10. Edition: 1. ed. Publication details: Campinas: UNICAMP, Centro de Lógica, Epistemologia e História da Ciência, 1992 Availability: Items available for loan: Castorina (1)Call number: 511.3 C569m 1992 IMPA. Place hold Add to cart (remove)
	3.	Gödel, Escher, Bach: an eternal golden braid/ Douglas R. Hofstadter. by Hofstadter, Douglas R, 1945- Publication details: New York: Basic Books, c1979 Availability: Items available for loan: Castorina (1)Call number: 510.1 H713g 1979 IMPA. Found in Open Library: Place hold Add to cart (remove)
	4.	The applicative realm/ Reinhard Kahle. by Kahle, Reinhard, 1967- Universidade de Coimbra - Publicações do Centro de Matemática Series: Textos de matemática ; 40 Publication details: Coimbra: Departamento de Matemática da Universidade de Coimbra, 2007 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	5.	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)
	6.	No cover image available No cover image available No cover image available Les limitations internes des formalismes; étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques. by Ladrière, Jean Series: Collection de logique mathématique : sér. B ; 2. Publication details: Louvain: E. Nauwelaerts, 1957 Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA. Found in Open Library: Place hold Add to cart (remove)
	7.	No cover image available No cover image available No cover image available Métamathématique/ Traduit de l'allemand par J.B. Grize. by Lorenzen, Paul Series: Mathématiques et sciences de l'homme ; 6. Publication details: Paris: Mouton, 1967 Availability: Items available for loan: Castorina (1)Call number: 511.3 L869m 1967 IMPA. Found in Open Library: Place hold Add to cart (remove)
	8.	The metamathematics of algebraic systems, collected papers: 1936-1967/ [by] Anatolii Ivanovich Maltsev. Translated [from the Russian], ed. and provided with supplementary notes by Benjamin Franklin Wells, III. by Maltsev, A. I. (Anatolii Ivanovich), 1909-1967 Wells, Benjamin Franklin [ed.] Series: Studies in logic and the foundations of mathematics ; v. 66. Language: engrus Publication details: Amsterdam: North-Holland, 1971 Availability: Items available for loan: Castorina (1)Call number: 511.3 M261m 1971 IMPA. Found in Open Library: Place hold Add to cart (remove)
	9.	No cover image available No cover image available No cover image available Introductory formal logic of mathematics/ P. H. Nidditch. by Nidditch, P. H Publication details: London: University Tutorial Press, [1957] Availability: Items available for loan: Castorina (1)Call number: 511.3 N664i 1957 IMPA. Found in Open Library: Place hold Add to cart (remove)
	10.	No cover image available No cover image available No cover image available The mathematics of metamathematics/ [by] Helena Rasiowa and Roman Sikorski. by Rasiowa, Helena Sikorski, Roman [joint author.] Series: Monografie matematyczne ; t. 41. Edition: 2d ed. Publication details: Warszawa: [Panstwowe Wydawn. Naukowe], 1968 Availability: Items available for loan: Castorina (1)Call number: 511.3 R224m 1968 IMPA. Place hold Add to cart (remove)
	11.	No cover image available No cover image available No cover image available Théorie métamathématique des idéaux/ Abraham Robinson. by Robinson, Abraham, 1918-1974 Series: Collection de logique mathématique : sér. A ; 8. Publication details: Paris: Gauthier-Villars, 1955 Availability: Items available for loan: Castorina (1)Call number: 511.3 R658t 1955 IMPA. Found in Open Library: Place hold Add to cart (remove)
	12.	No cover image available No cover image available No cover image available Theory of formal systems/ Raymond M. Smullyan. by Smullyan, Raymond M Series: Annals of mathematics studies ; 47 Publication details: Princeton, N.J.: Princeton University Press, 1961 Availability: Items available for loan: Castorina (1)Call number: 511.3 S666t 1961 IMPA. Found in Open Library: Place hold Add to cart (remove)
	13.	Mechanism, mentalism, and metamathematics: an essay on finitism/ Judson Chambers Webb. by Webb, Judson Chambers, 1936- Series: Synthese library ; v. 137. Publication details: Dordrecht ; Boston: D. Reidel, c1980 Availability: Items available for loan: Castorina (1)Call number: 511.3 W365m 1980 IMPA. Found in Open Library: Place hold Add to cart (remove)

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

Powered by Koha