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

Results
	61.	The incompleteness phenomenon: a new course in mathematical logic/ Martin Goldstern, Haim Judah. by Goldstern, Martin Judah, H. (Haim) Publication details: Wellesley, Mass.: A K Peters, c1995 Availability: Items available for loan: Castorina (1)Call number: 511.3 G624i 1995 IMPA. Found in Open Library: Place hold Add to cart (remove)
	62.	No cover image available No cover image available No cover image available Les fondements des mathématiques: de la géométrie d'Euclide à la rélativité générale et à l'intuitionisme/ F. Gonseth ; préface de Jacques Hadamard. by Gonseth, Ferdinand, 1890- Publication details: Paris: A. Blanchard, 1974 Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA. Place hold Add to cart (remove)
	63.	No cover image available No cover image available No cover image available La géométrie et le problème de l'espace. by Gonseth, Ferdinand, 1890- Series: Bibliothèque scientifique. La science dialectique ; 3, 6, 11, 17, 25, 27. Publication details: Neuchâtel: Griffon, 1945-[55] Availability: Items available for loan: Castorina (2)Call number: 511.3 G639g 1945 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	64.	Dear Russell, dear Jourdain: a commentary on Russell's logic, based on his correspondence with Philip Jourdain/ I. Grattan-Guinness. by Grattan-Guinness, I Publication details: New York: Columbia University Press, 1977 Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA. Found in Open Library: Place hold Add to cart (remove)
	65.	Mechanizing hypothesis formation: mathematical foundations for a general theory/ P. Hájek, T. Havránek. by Hájek, Petr Havránek, Tomás [joint author.] Series: Universitext Publication details: Berlin ; New York: Springer-Verlag, 1978 Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA. Found in Open Library: Place hold Add to cart (remove)
	66.	Essai sur la psychologie de l'invention dans le domaine mathématique/ Jacques Hadamard ; traduit de l'anglais par Jacqueline Hadamard. by Hadamard, Jacques, 1865-1963 Series: Collection "Discours de la méthode." Language: freeng Publication details: [Paris]: Gauthier-Villars, c1975 Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA. Found in Open Library: Place hold Add to cart (remove)
	67.	No cover image available No cover image available No cover image available An essay on the psychology of invention in the mathematical field/ by Jacques Hadamard. by Hadamard, Jacques, 1865-1963 Publication details: Princeton, N.J.: Princeton University Press, 1945 Availability: Items available for loan: Castorina (2)Call number: 511.3 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	68.	Psicologia da invenção na matemática/ Jacques Hadamard ; tradução Estela dos Santos Abreu. by Hadamard, Jacques, 1865-1963 Publication details: Rio de Janeiro: Contraponto, 2009 Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA. Found in Open Library: Place hold Add to cart (remove)
	69.	Introduction to the basic concepts and problems of modern logic/ [by] G. Hasenjaeger; translated from the German by E. C. M. Mays] by Hasenjaeger, G. (Gisbert), 1919- Language: engger Publication details: Dordrecht ; D. Reidel, [1972] Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA. Found in Open Library: Place hold Add to cart (remove)
	70.	No cover image available No cover image available No cover image available La structure algébrique des théories mathématiques/ Leon Henkin. by Henkin, Leon Series: Collection de logique mathématique, sér. A ; 11. Publication details: Paris: Gauthier-Villars, 1956 Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA. Found in Open Library: Place hold Add to cart (remove)
	71.	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)
	72.	No cover image available No cover image available No cover image available Les fondements des mathématiques; intuitionnisme, théorie de la démonstration/ Traduction par Mme P. Fevrier. by Heyting, A. (Arend), 1898- Series: Collection de logique mathématique : sér. A ; 9. Publication details: Paris: Gauthier-Villars, 1955 Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA. Found in Open Library: Place hold Add to cart (remove)
	73.	No cover image available No cover image available No cover image available Grundlagen der Mathematik. II. by Hilbert, David, 1862-1943 Bernays, Paul, 1888- [ed.] Series: Grundlehren der mathematischen Wissenschaften ; 40. Edition: 2. Aufl. Publication details: Berlin: Heidelberg: New York: Springer-Verlag, 1970 Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA. Place hold Add to cart (remove)
	74.	No cover image available No cover image available No cover image available Grundlagen der Mathematik.. I. by Hilbert, David, 1862-1943 Bernays, Paul, 1888- [ed.] Series: Grundlehren der mathematischen Wissenschaften ; 40. Edition: 2. Aufl. Publication details: Berlin: Heidelberg: New York: Springer-Verlag, 1968 Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA. Place hold Add to cart (remove)
	75.	A first journey through logic/ Martin Hils, Francois Loeser. by Hils, Martin [author.] Loeser, François [author.] Series: Student mathematical library ; volume 89. Publisher: Providence, Rhode Island: American Mathematical Society, [2019] Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA. Found in Open Library: Place hold Add to cart (remove)
	76.	The method of analysis: its geometrical origin and its general significance/ Jaakko Hintikka and Unto Remes. by Hintikka, Jaakko, 1929- Remes, Unto [joint author.] Series: Boston studies in the philosophy of science ; v. 25. \| Synthese library ; v. 75. Publication details: Dordrecht ; Boston: D. Reidel, c1974 Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA. Found in Open Library: Place hold Add to cart (remove)
	77.	Projections of lawless sequences/ G.F. van der Hoeven. by Hoeven, G. F. van der Series: Mathematical Centre tracts ; 152. Publication details: Amsterdam ; Mathematisch Centrum, 1982 Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA. Found in Open Library: Place hold Add to cart (remove)
	78.	No cover image available No cover image available No cover image available Les fondements expérimentaux de l'analyse mathématique des faits statistiques/ par Georges Hostelet. by Hostelet, Georges, 1875- Series: Actualités scientifiques et industrielles ; 552 \| Le Progrès de l'esprit ; 2. Publication details: Paris: Hermann, 1937 Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA. Found in Open Library: Place hold Add to cart (remove)
	79.	Consequences of the axiom of choice/ Paul Howard, Jean E. Rubin. by Howard, Paul, 1943- Rubin, Jean E Series: Mathematical surveys and monographs ; no. 59. Publication details: Providence, R.I.: American Mathematical Society, c1998 Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA. Found in Open Library: Place hold Add to cart (remove)
	80.	No cover image available No cover image available No cover image available Scientific inference/ Harold Jeffreys. by Jeffreys, Harold, Sir, 1891- Edition: 2d ed. Publication details: Cambridge, UK: University Press, 1957 Availability: Items available for loan: Castorina (1)Call number: 511.3 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.