Results of search for '37150' › IMPA Library catalog

Results
	1.	Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies/ Wilfried Buchholz ... [et al.]. by Buchholz, Wilfried, 1948- Series: Lecture notes in mathematics (Springer-Verlag) ; 897. Publication details: Berlin ; New York: Springer-Verlag, 1981 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	2.	Linear logic in computer science/ edited by Thomas Ehrhard ... [et al.]. by Ehrhard, Thomas, 1958- Series: London Mathematical Society lecture note series ; 316 Publication details: Cambridge, UK; New York: Cambridge University Press, 2004 Availability: Items available for loan: Castorina (1)Call number: 511.3 L754 2004 IMPA. Found in Open Library: Place hold Add to cart (remove)
	3.	The history of mathematical proof in ancient traditions/ ed. by Karine Chemla. by Chemla, Karine Publication details: Cambridge, UK: Cambridge University Press, 2012 Availability: Items available for loan: Castorina (1)Call number: 510.9 H673 2012 IMPA. Found in Open Library: Place hold Add to cart (remove)
	4.	Charming proofs: a journey into elegant mathematics/ Claudi Alsina, Roger B. Nelsen. by Alsina, Claudi Nelsen, Roger B Mathematical Association of America Series: Dolciani mathematical expositions ; no. 42 Publication details: Washington, DC: Mathematical Association of America, c2010 Online access: Table of contents only Availability: Items available for loan: Castorina (1)Call number: 511.36 A461c 2010 IMPA. Found in Open Library: Place hold Add to cart (remove)
	5.	Une histoire de l'imaginaire mathématique: vers le théoreme fondamental de l'algèbre et sa demonstration par Laplace en 1795/ Carlos Alvarez & Jean Dhombres. by Alvarez Jimenez, Carlos Dhombres, Jean G, 1942- Publication details: Paris: Hermann, c2011 Availability: Items available for loan: Castorina (1)Call number: 510.9 A473h 2011 IMPA. Found in Open Library: Place hold Add to cart (remove)
	6.	Une histoire de l'imaginaire mathématique: vers le théorème fondamental de l'algèbre et sa demonstration par Laplace en 1795/ Carlos Alvarez & Jean Dhombres. by Alvarez Jimenez, Carlos Dhombres, Jean G, 1942- Publication details: Paris: Hermann, 2011 Availability: Items available for loan: Castorina (1)Call number: 510.9 A473h 2011 IMPA. Found in Open Library: Place hold Add to cart (remove)
	7.	The unprovability of consistency: an essay in modal logic/ George Boolos. by Boolos, George Publication details: Cambridge, UK New York: Cambridge University Press, 1979 Availability: Items available for loan: Castorina (1)Call number: 511.3 B724u 1979 IMPA. Found in Open Library: Place hold Add to cart (remove)
	8.	Logic in algebraic form; Three languages and theories. by Craig, William Series: Studies in logic and the foundations of mathematics ; v. 72. Publication details: Amsterdam ;: New York: North-Holland, American Elsevier, 1974 Availability: Items available for loan: Castorina (1)Call number: 511.3 C886l 1974 IMPA. Found in Open Library: Place hold Add to cart (remove)
	9.	Une histoire de l'invention mathématique: les demonstrations du théorème fondamental de l'algèbre dans le cadre de l'analyse réelle et de l'analyse complexe de Gauss a Liouville/ Jean Dhombres & Carlos Alvarez. by Dhombres, Jean G, 1942- Alvarez Jimenez, Carlos Publisher: Paris: Hermann, [2013] Availability: Items available for loan: Castorina (1)Call number: 510.9 D535h 2013 IMPA. Found in Open Library: Place hold Add to cart (remove)
	10.	An introduction to mathematical reasoning: numbers, sets, and functions/ Peter J. Eccles. by Eccles, Peter J, 1945- Publication details: Cambridge; New York: Cambridge University Press, 1997 Other title: Mathematical reasoning Availability: Items available for loan: Castorina (1)Call number: 511.3 E17i 1997 IMPA. Found in Open Library: Place hold Add to cart (remove)
	11.	Proof theory and logical complexity.. T.1/ Jean-Yves Girard. by Girard, Jean-Yves Series: Studies in proof theory ; 1. Publication details: Napoli: Bibliopolis, c1987 Availability: Items available for loan: Castorina (1)Call number: 511.352 G517p 1987 IMPA. Found in Open Library: Place hold Add to cart (remove)
	12.	Incompleteness: the proof and paradox of Kurt Gödel/ Rebecca Goldstein. by Goldstein, Rebecca, 1950- Series: Great discoveries Edition: 1st ed. Publication details: New York: W.W. Norton, c2005 Online access: Table of contents Availability: Items available for loan: Castorina (1)Call number: 510.92 G624i 2005 IMPA. Found in Open Library: Place hold Add to cart (remove)
	13.	Why is there philosophy of mathematics at all?/ Ian Hacking. by Hacking, Ian [author.] Availability: Items available for loan: Castorina (1)Call number: 510.1 H121w 2014 IMPA. Found in Open Library: Place hold Add to cart (remove)
	14.	Statistical learning with sparsity: the lasso and generalizations/ Trevor Hastie, Stanford University, USA, Rob Tibshirani, Stanford University, USA, Martin Wainwright, University of California, Berkeley, USA. by Hastie, Trevor Tibshirani, Robert Wainwright, Martin (Martin J.) Series: Monographs on statistics and applied probability ; 143. Publisher: Boca Raton: CRC Press / Taylor & Francis Group, [2015] Availability: Items available for loan: Castorina (1)Call number: 519.5 H356s 2015 IMPA. Found in Open Library: Place hold Add to cart (remove)
	15.	Proof complexity/ Jan Krajícek, Charles University, Prague. by Krajícek, Jan [author.] Series: Encyclopedia of mathematics and its applications ; v. 170. Publisher: Cambridge, United Kingdom; New York, NY: Cambridge University Press, 2019 Availability: Items available for loan: Castorina (1)Call number: 511.3 K89p 2019 IMPA. Found in Open Library: Place hold Add to cart (remove)
	16.	The proof is in the pudding: the changing nature of mathematical proof/ Steven G. Krantz. by Krantz, Steven George, 1951 Publication details: London; New York: Springer, c2011 Other title: Changing nature of mathematical proof Mathematical proof Availability: Items available for loan: Castorina (1)Call number: 511.36 K89p 2011 IMPA . Found in Open Library: Place hold Add to cart (remove)
	17.	Three views of logic: mathematics, philosophy, and computer science/ Donald W. Loveland, Richard E. Hodel, S.G. Sterrett. by Loveland, Donald W [author.] Hodel, Richard E [author.] Sterrett, Susan G [author.] Publisher: Princeton, New Jersey: Princeton University Press, [2014] Availability: Items available for loan: Castorina (1)Call number: 511.3 L898t 2014 IMPA. Found in Open Library: Place hold Add to cart (remove)
	18.	Extensional Gödel functional interpretation: a consistency proof of classical analysis. by Luckhardt, Horst Series: Lecture notes in mathematics (Springer-Verlag) ; 306. 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)
	19.	Problems and proofs in numbers and algebra/ Richard S. Millman, Peter J. Shiue, Eric Brendan Kahn. by Millman, Richard S, 1945- Shiue, Peter Jau-Shyong, 1941- Kahn, Eric Brendan [author.] Publisher: Cham: Springer, [2015] Availability: Items available for loan: Castorina (1)Call number: 512.7 M655p 2015 IMPA. Found in Open Library: Place hold Add to cart (remove)
	20.	Complexity of proofs and their transformations in axiomatic theories/ V. P. Orevkov ; translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish. by Orevkov, V. P Louvish, David Series: Translations of mathematical monographs ; v. 128. Language: English Original language: Russian Publication details: Providence, R.I.: American Mathematical Society, c1993 Availability: Items available for loan: Castorina (1)Call number: 511.3 O66c 1993 IMPA. Found in Open Library: Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 26 results.