Results of search for 'an:23723' › IMPA Library catalog

Results
	1.	No cover image available No cover image available O Teorema de Gödel e a hipótese do contínuo: antologica/ organizada, prefaciada e traduzida por Manuel Lourenço. by Godel, Kurt, 1906-1978 Lourenço, Manuel Language: Portuguese Original language: English Publication details: Lisboa: Fundação Calouste Gulbenkian, [1979] Availability: Items available for loan: Castorina (1)Call number: 511.3 T314 1979 IMPA. Place hold Add to cart (remove)
	2.	Studies in logic/ by members of the Johns Hopkins University (1883) ; edited by Charles S. Peirce ; with an introduction by Max H. Fisch and a preface by Achim Eschbach. by Peirce, Charles S. (Charles Sanders), 1839-1914 Johns Hopkins University Series: Foundations of semiotics ; v. 1. Publication details: Amsterdam ; Philadelphia: J. Benjamins Pub. Co., 1983 Availability: Items available for loan: Castorina (1)Call number: 511.3 S933 1983 IMPA. Found in Open Library: Place hold Add to cart (remove)
	3.	Poincaré, Russell, Zermelo et Peano: textes de la discussion (1906-1912) sur les fondements des mathématiques des antinomies à la prédicativité/ réunis par Gerhard Heinzmann. by Poincaré, Henri, 1854-1912 Russell, Bertrand, 1872-1970 Zermelo, Ernst, 1871- Peano, Giuseppe, 1858-1932 Heinzmann, Gerhard Series: Bibliothèque scientifique Albert Blanchard Publication details: Paris: A. Blanchard, 1986 Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA. Found in Open Library: Place hold Add to cart (remove)
	4.	Handbook of logic and language/ edited by Johan van Benthem, Alice ter Meulen. by Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter Publication details: Amsterdam; New York; Cambridge, Mass.: Elsevier; MIT Press, 1997 Other title: Handbook of logic & language Availability: Items available for loan: Castorina (1)Call number: 511.3 H236 1997 IMPA. Found in Open Library: Place hold Add to cart (remove)
	5.	No cover image available No cover image available Logic in the 20th century: a series of papers on the present state and tendencies of studies/ Maria Luisa Dalla Chiara ... [et al.]. by Dalla Chiara, Maria Luisa, 1938- Publication details: Milano: Scienta, [1983] Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1983 IMPA. Found in Open Library: Place hold Add to cart (remove)
	6.	No cover image available No cover image available From Kant to Hilbert: a source book in the foundations of mathematics/ compiled by William Ewald. by Ewald, William Bragg, 1925- Series: Oxford science publications Publication details: Oxford: New York: Clarendon Press, Oxford University Press, 1996 Availability: Items available for loan: Castorina (4)Call number: 511.3 F931 1996 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	7.	18 unconventional essays on the nature of mathematics/ Reuben Hersh, editor. by Hersh, Reuben, 1927- Publication details: New York: Springer, c2006 Other title: Eighteen unconventional essays on the nature of mathematics Availability: Items available for loan: Castorina (1)Call number: 511.3 D532 2006 IMPA. Found in Open Library: Place hold Add to cart (remove)
	8.	No cover image available No cover image available The incompleteness theorems/ Henk Barendregt. by Barendregt, H. P. (Hendrik Pieter) Series: Communications of the Mathematical Institute ; 4.. Publication details: Utrecht: Rijksuniversiteit Utrecht, 1976 Availability: Items available for loan: Castorina (1)Call number: 511.3 B248i 1976 IMPA. Found in Open Library: Place hold Add to cart (remove)
	9.	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)
	10.	The liar: an essay on truth and circularity/ Jon Barwise and John Etchemendy. by Barwise, Jon Etchemendy, John, 1952- Publication details: New York: Oxford University Press, 1987 Availability: Items available for loan: Castorina (1)Call number: 511.3 B296l 1987 IMPA. Found in Open Library: Place hold Add to cart (remove)
	11.	Foundations of constructive mathematics: metamathematical studies/ Michael J. Beeson. by Beeson, Michael J, 1945- Series: Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3. Folge, Bd. 6 Publication details: Berlin ; New York: Springer-Verlag, c1985 Availability: Items available for loan: Castorina (1)Call number: 511.3 B415f 1985 IMPA. Found in Open Library: Place hold Add to cart (remove)
	12.	No cover image available No cover image available The foundations of mathematics;: a study in the philosophy of science/ [by] Evert W. Beth. by Beth, Evert Willem Series: Harper torchbooks. Science library Publication details: New York: Harper & Row, [1966, c1964] Availability: Items available for loan: Castorina (1)Call number: 511.3 B562f 1964 IMPA. Place hold Add to cart (remove)
	13.	Aspects of modern logic/ [By] Evert W. Beth. by Beth, Evert Willem Series: Synthese library Language: engdut Publication details: Dordrecht ; Reidel, [1970] Availability: Items available for loan: Castorina (1)Call number: 511.3 B562a 1970 IMPA. Found in Open Library: Place hold Add to cart (remove)
	14.	No cover image available No cover image available Formal methods;: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. by Beth, Evert Willem Series: Synthese library Publication details: Dordrecht; New York: D. Reidel; Gordon & Breach, [1962] Availability: Items available for loan: Castorina (2)Call number: 511.3 B562f 1962 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	15.	No cover image available No cover image available Mathematical thought; an introduction to the philosophy of mathematics/ Evert W. Beth. by Beth, Evert Willem Series: Synthese library Publication details: Dordrecht ; D. Reidel, [1965] Availability: Items available for loan: Castorina (1)Call number: 511.3 B562m 1965 IMPA. Found in Open Library: Place hold Add to cart (remove)
	16.	No cover image available No cover image available Les fondements logiques des mathématiques. by Beth, Evert Willem Series: Collection de logique mathématique, sér. A ; 1 Edition: 2. éd, rev. et augm. Publication details: Paris: Gauthier-Villars, 1955 Availability: Items available for loan: Castorina (1)Call number: 511.3 B562f 1955 IMPA. Place hold Add to cart (remove)
	17.	Les paradoxes de l'infini/ Bernard Bolzano ; introduction, traduction de l'allemand et notes par Hourya Sinaceur. by Bolzano, Bernard, 1781-1848 Sinaceur, Hourya [éd., trad.] Series: Sources du savoir Language: French Original language: German Publication details: Paris: Seuil, c1993 Availability: Items available for loan: Castorina (1)Call number: 511.3 B694p 1993 IMPA. Found in Open Library: Place hold Add to cart (remove)
	18.	No cover image available No cover image available Paradoxes of the infinite. Translated from the German of the posthumous ed. by Fr. Prihonsky and furnished with a historical introd. by Donald A. Steele. by Bolzano, Bernard, 1781-1848 Series: Rare masterpieces of philosophy and science Language: English Original language: German Publication details: New Haven: Yale University Press, 1950 Availability: Items available for loan: Castorina (1)Call number: 511.3 B694p 1950 IMPA. Found in Open Library: Place hold Add to cart (remove)
	19.	Les incertitudes dans les systemes intelligents/ Bernadette Bouchon-Meunier, et Hung T. Nguyen. by Bouchon-Meunier, Bernadette Nguyen, Hung T Series: Que sais-je? ; 3110 Edition: 1ère édition. Publication details: Paris: Presses universitaires de France, 1996 Availability: Items available for loan: Castorina (1)Call number: 511.3 B755i 1996 IMPA. Found in Open Library: Place hold Add to cart (remove)
	20.	No cover image available No cover image available Le déclin des absolus mathématico-logiques/ [par] Georges Bouligand et Jean Desgrandes. by Bouligand, Georges, 1889- Desgranges, Jean [joint author.] Series: Collection "Esprit et méthode." Publication details: Paris: Société d'édition d'enseignement supérieur, 1949 Availability: Items available for loan: Castorina (1)Call number: 511.3 B763d 1949 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 142 results.