Periódicos correntes

Your search returned 18 results.

Results
	1.	No cover image available No cover image available No cover image available Foundations of mathematics: Symposium papers commemorating the sixtieth birthday of Kurt Gödel/ edited by Jack J. Bulloff, Thomas C. Holyoke and S. W. Hahn. by Godel, Kurt, 1906-1978 Bulloff, Jack J [ed.] Holyoke, Thomas C [ed.] Hahn, S. W. (Samuel Wilfred), 1921- [ed.] Ohio Academy of Science. Section L (Mathematical Sciences) Publication details: Berlin: Heidelberg: New York: Springer, 1969 Availability: Items available for loan: Castorina (1)Call number: 510.92 F771 1969 IMPA. Found in Open Library: Place hold Add to cart (remove)
	2.	Model theory and arithmetic: comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80/ edited by C. Berline, K. McAloon, and J.-P. Ressayre. by Berline, C. (Chantal) McAloon, Kenneth Ressayre, J.-P. (Jean-Pierre) Centre National de la Recherche Scientifique (France) Series: Lecture notes in mathematics (Springer-Verlag) ; 890. Language: engfre Publication details: Berlin: New York: Springer, 1981 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	3.	Hilbert's tenth problem: relations with arithmetic and algebraic geometry/ Jan Denef ... [et al.], editors. by Denef, Jan, 1951- Series: Contemporary mathematics (American Mathematical Society) ; v. 270. Publication details: Providence, R.I.: American Mathematical Society, c2000 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	4.	Tópicos de Lógica Fuzzy e Biomatemática/ Laecio Carvalho de Barros e Rodney Carlos Bassanezi. by Barros, Laécio Carvalho de Bassanezi, Rodney Carlos Series: Coleção IMECC. Textos Didaticos ; 5 Publication details: Campinas: Unicamp/IMECC, 2006 Availability: Items available for loan: Castorina (1)Call number: 511.3 B277t 2006 IMPA. Found in Open Library: Place hold Add to cart (remove)
	5.	A course in mathematical logic/ by J. L. Bell and M. Machover. by Bell, J. L. (John Lane) Machover, Moshé [joint author.] Publication details: Amsterdam ; New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1977 Availability: Items available for loan: Castorina (1)Call number: 511.3 B433c 1977 IMPA. Found in Open Library: Place hold Add to cart (remove)
	6.	No cover image available No cover image available No cover image available Introducción a la filosofía matemática/ Walther Brand, Marie Deutschbein ; traducción del alemán y notas de R. Ledesma Ramos. by Brand, Walther Deutschbein, Marie Language: Spanish Original language: German Publication details: Madrid: Revista de Occidente, c1930 Availability: Items available for loan: Castorina (1)Call number: 511.3 B817i 1930 IMPA. Found in Open Library: Place hold Add to cart (remove)
	7.	Cambridge Summer School in Mathematical Logic: papers/ edited by A. R. D. Mathias and H. Rogers. by Cambridge Summer School in Mathematical Logic (1971) Mathias, A. R. D., (Adrian Richard David), 1944- [ed.] Rogers, H. (Hartley), 1926- [ed.] Series: Lecture notes in mathematics (Springer-Verlag) ; 337. Publication details: Berlin: New York: Springer-Verlag, 1973 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	8.	No cover image available No cover image available No cover image available Enumerability, decidability, computability;: An introduction to the theory of recursive functions/ Translated by G. T. Hermann and O. Plassmann. by Hermes, Hans Series: Grundlehren der mathematischen Wissenschaften ; Bd. 127. Edition: 2d rev. ed. Language: engger Publication details: Berlin: New York: Springer, 1969 Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA. Found in Open Library: Place hold Add to cart (remove)
	9.	An introduction to Kolmogorov complexity and its applications/ Ming Li, Paul Vitányi. by Li, Ming Vitányi, P. M. B Series: Texts and monographs in computer science Publication details: New York: Springer-Verlag, c1993 Availability: Items available for loan: Castorina (1)Call number: 511.3 L693i 1993 IMPA. Found in Open Library: Place hold Add to cart (remove)
	10.	No cover image available No cover image available No cover image available Contributions to mathematical logic: Proceedings of the Logic Colloquium, Hannover 1966/ edited by H. Arnold Schmidt, K. Schütte [and] H.J. Thiele. by Logic Colloquium (11th :: 1966 :: Hannover, Germany) Schmidt, H. Arnold [ed.] Schütte, K. (Kurt) [ed.] Thiele, H. J. (Helmut J.) [ed.] International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam: North-Holland, 1968 Availability: Items available for loan: Castorina (1)Call number: 511.3 C764 1968 IMPA. Found in Open Library: Place hold Add to cart (remove)
	11.	The shaping of deduction in Greek mathematics: a study in cognitive history/ Reviel Netz. by Netz, Reviel Edition: 1st pbk. ed. Publication details: Cambridge, UK: Cambridge University Press, 2003 Availability: Items available for loan: Castorina (1)Call number: 510.9 N476s 2003 IMPA. Found in Open Library: Place hold Add to cart (remove)
	12.	No cover image available 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)
	13.	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)
	14.	Southeast Asian Conference on Logic/ proceedings of the Logic Conference, Singapore, 1981 ; edited by C.-T. Chong and M.J. Wicks. by Southeast Asian Conference on Logic (1981 : Singapore)) Chong, C.-T. (Chi-Tat), 1949- Wicks, M. J. (Malcolm John), 1928- Series: Studies in logic and the foundations of mathematics ; v. 111. Publication details: Amsterdam ;: Oxford: North-Holland, 1983 Availability: Items available for loan: Castorina (1)Call number: 511.3 S727 1983 IMPA. Found in Open Library: Place hold Add to cart (remove)
	15.	No cover image available 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)
	16.	No cover image available No cover image available No cover image available Principles of intuitionism/ A. S. Troelstra. by Troelstra, A. S. (Anne Sjerp) Series: Lecture notes in mathematics (Springer-Verlag) ; 95. Publication details: Berlin: Heidelberg: New York: Springer, 1969 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	17.	No cover image available No cover image available No cover image available An essay in modal logic. by Wright, G. H. von (Georg Henrik), 1916- Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, [1951] Availability: Items available for loan: Castorina (1)Call number: 511.3 W949e 1951 IMPA. Found in Open Library: Place hold Add to cart (remove)
	18.	Descriptive set theory and definable forcing/ Jindérich Zapletal. by Zapletal, Jinderich, 1969- Series: Memoirs of the American Mathematical Society ; 793, Publication details: Providence, R.I.: American Mathematical Society, 2004 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)

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

Powered by Koha