Results of search for 'an:75907' › Angelicum catalog

Refine your search

Availability
- Limit to records with available items
Author
- Baaz, Matthias, 1960 (1)
- Ballo, Edoardo (1)
- Dawson, John William, Jr., 1944 (3)
- Dri, Pietro (1)
- Feferman, Solomon, 1928-2016 (2)
- Gilliens, Donald (1)
- Giorello, Giulio, 1945-2020 (1)
- Goldstein, Rebecca, 1950 (1)
- Guerrerio, Gianbruno (1)
- Gödel, Kurt, 1906-1978 (3)
- Hofstadter, Douglas R., 1945 (1)
- Ladrière, Jean, 1921-2007 (1)
- Lolli, Gabriele, 1942-2025 (1)
- Nagel, Ernest, 1901-1985 (1)
- Napolitani, Pier Davide (1)
- Newman, James Roy, 1907-1966 (1)
- Odifreddi, Piergiorgio, 1950 (1)
- Peruzzi, Giulio (1)
- Shea, William R., 1937 (1)
- Sinigaglia, Corrado, 1966 (1)
- Smith, Peter, 1944 (1)
- Strumia, Alberto, 1950 (1)
- Tieszen, Richard L., 1951-2017 (1)
- Wang, Hao, 1921-1995 (2)
- Yourgrau, Palle, 1950 (1)
- Show more
- Show less
Work
- Artificial intelligence and scientific method (1)
- Collected works (1)
- Gödel's Proof (1)
- Logical dilemmas (1)
Language
- English (10)
- French (1)
- Italian (7)
Publication date
- 2013 (1)
- 2011 (1)
- 2009 (1)
- 2007 (1)
- 2006 (3)
- 2001 (2)
- 1999 (1)
- 1998 (1)
- 1997 (1)
- 1996 (1)
- 1995 (1)
- 1986 (2)
- 1982 (1)
- 1957 (1)
- Show more
- Show less
Series
- Cambridge introductions to philosophy (1)
- Collection de logique mathématique. Série B, Monographies (1)
- Great discoveries (1)
- Incipit (1)
- Representation and mind (1)
- Saggi [Cortina] (1)
- Universale scientifica Boringhieri (1)
- Show more
- Show less
Subject
- Aspetti filosofici (1)
- Conoscenza (1)
- Dio (1)
- Epistemologia (1)
- Esistenza (1)
- Filosofia (1)
- Gnoseologia (1)
- Gödel, teorema di (2)
- Intelligenza artificiale (2)
- Logica (4)
- Logica matematica (4)
- Logica simbolica (1)
- Matematica (1)
- Prova ontologica (1)
- Simmetria (1)
- Tempo (1)
- Show more
- Show less
Subject: Name
- Archimedes, 287-212 a.C. (1)
- Bach, Johann Sebastian, 1685-1750 (1)
- Bohr, Niels, 1885-1962 (1)
- Copernicus, Nicolaus, 1473-1543 (1)
- Einstein, Albert, 1879-1955 (1)
- Escher, Maurits Cornelis (1)
- Fermat, Pierre de, 1601-1665 (1)
- Gödel, Kurt, 1906-1978 (15)
- Pasteur, Louis, 1822-1895 (1)
- Thomas Aquinas, santo, circa 1225-1274 (1)
- Show more
- Show less
Subject: Chronology
- Secolo 20 (3)
Genre
- Critica e interpretazione (11)
Home library
- Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino (18)
Holding library
- Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino (18)
Item type
- Opera (Magaz.) (18)
Location
- Magazzino (18)

		Image from Amazon.com	After Gödel : Platonism and rationalism in mathematics and logic / Richard Tieszen. by Tieszen, Richard L., 1951-2017 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Oxford : Oxford University Press, 2013. Availability: Items available for loan: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino (1)Call number: QA 9.T54 2011. Place hold Request article Save to lists Add to cart (remove)
		Image from Amazon.com	Kurt Gödel and the foundations of mathematics : horizons of truth / edited by Matthias Baaz ... [et al.]. by Baaz, Matthias, 1960- [curatore] Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Cambridge University Press, 2011. Availability: Items available for loan: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino (1)Call number: QA 9.65.K87. Place hold Request article Save to lists Add to cart (remove)
		Image from Amazon.com	Il problema dei fondamenti : un'avventurosa navigazione dagli insiemi agli enti passando per Gödel e Tommaso d'Aquino / Alberto Strumia. by Strumia, Alberto, 1950- Material type: Text; Format: print ; Literary form: Not fiction Publication details: Siena : Cantagalli, 2009. Availability: Items available for loan: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino (1)Call number: BD 238.F68.S87. Place hold Request article Save to lists Add to cart (remove)
		Image from Amazon.com	An introduction to Gödel's Theorems / Peter Smith. by Smith, Peter, 1944- Series: Cambridge introductions to philosophy Material type: Text; Format: print Publication details: Cambridge (U.K.) ; New York : Cambridge University Press, 2007. Availability: Items available for loan: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino (1)Call number: QA 9.6.S65. Place hold Request article Save to lists Add to cart (remove)
		Image from Amazon.com	Incompleteness : the proof and paradox of Kurt Gödel / Rebecca Goldstein. by Goldstein, Rebecca, 1950- Series: Great discoveries Material type: Text; Format: print ; Nature of contents: Publication details: New York : W.W. Norton & Company, 2006. Availability: Items available for loan: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino (1)Call number: QA 29.G58.G65. Place hold Request article Save to lists Add to cart (remove)
		Image from Amazon.com	La prova matematica dell'esistenza di Dio / Kurt Gödel ; a cura di Gabriele Lolli e Piergiorgio Odifreddi. by Gödel, Kurt, 1906-1978 Odifreddi, Piergiorgio, 1950- [curatore] Lolli, Gabriele, 1942-2025 [curatore] Series: Incipit ; 3 Material type: Text; Literary form: Not fiction Publication details: Torino : Bollati Boringhieri, 2006. Availability: Items available for loan: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino (1)Call number: BL 51.G7 2006. Place hold Request article Save to lists Add to cart (remove)
		Image from Amazon.com	A world without time : the forgotten legacy of Gödel and Einstein / Palle Yourgrau. by Yourgrau, Palle, 1950- Material type: Text; Format: print Publication details: New York : Basic Books, 2006. Availability: Items available for loan: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino (1)Call number: BD 638.Y73. Place hold Request article Save to lists Add to cart (remove)
			I grandi della scienza [2001]. by Guerrerio, Gianbruno Shea, William R., 1937- Dri, Pietro Peruzzi, Giulio Giorello, Giulio, 1945-2020 Napolitani, Pier Davide Sinigaglia, Corrado, 1966- Material type: Text; Format: print Publication details: Milano : Le Scienze, 2001. Availability: Items available for loan: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino (1)Call number: Q 141.G8S2 2001. Place hold Request article Save to lists Add to cart (remove)
		Image from Amazon.com	Dilemmi logici : la vita e le opere di Kurt Gödel / John W. Dawson, jr. by Dawson, John William, Jr., 1944- Material type: Text; Format: print ; Nature of contents: Publication details: Torino : Bollati Boringhieri, 2001. Availability: Items available for loan: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino (1)Call number: QA 29.G58. Place hold Request article Save to lists Add to cart (remove)
		Image from Amazon.com	Opere / Kurt Gödel ; a cura di Solomon Feferman ; con la collaborazione di John W. Dawson jr. ... [et al.] ; edizione italiana a cura di Edoardo Ballo ... [et al.]. by Gödel, Kurt, 1906-1978 Feferman, Solomon, 1928-2016 [curatore] Ballo, Edoardo [curatore] Dawson, John William, Jr., 1944- Material type: Text; Format: print Publication details: Torino : Bollati Boringhieri, 1999-2002. Availability: Items available for loan: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino (2)Call number: QA 29.G58O-2, ... Place hold Request article Save to lists Add to cart (remove)
		Image from Amazon.com	Intelligenza artificiale e metodo scientifico / Donald Gillies. by Gilliens, Donald Series: Saggi [Cortina] Material type: Text; Format: print Publication details: Milano : R. Cortina, 1998. Availability: Items available for loan: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino (1)Call number: BD 180.G55. Place hold Request article Save to lists Add to cart (remove)
		Image from Amazon.com	Logical dilemmas : the life and work of Kurt Gödel / John W. Dawson, Jr. by Dawson, John William, Jr., 1944- Material type: Text; Format: print ; Nature of contents: Publication details: Wellesley (Ma.) : A K Peters, 1997. Availability: Items available for loan: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino (1)Call number: QA 29.G58.D39. Place hold Request article Save to lists Add to cart (remove)
		Image from Amazon.com	A logical journey : from Gödel to philosophy / Hao Wang. by Wang, Hao, 1921-1995 Series: Representation and mind Material type: Text; Format: print Publication details: Cambridge (Mass.) : The Mit Press, 1996. Availability: Items available for loan: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino (1)Call number: BC 41.G7W2. Place hold Request article Save to lists Add to cart (remove)
		Image from Amazon.com	Reflections on Kurt Gödel / Hao Wang. by Wang, Hao, 1921-1995 Edition: 4th printing. Material type: Text; Format: print Publication details: Cambridge (Mass.) : The Mit Press, 1995, ©1987. Availability: Items available for loan: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino (1)Call number: BC 135.G73W. Place hold Request article Save to lists Add to cart (remove)
			Gödel, Escher, Bach : an eternal golden braid / Douglas R. Hofstadter. by Hofstadter, Douglas R., 1945- Material type: Text; Format: print Publication details: Harmondsworth : Penguin Books, 1986. Availability: Items available for loan: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino (1)Call number: QA 9.8.H63. Place hold Request article Save to lists Add to cart (remove)
		Image from Amazon.com	Collected works / Kurt Gödel ; edited by Solomon Feferman ... [et al.]. by Gödel, Kurt, 1906-1978 Feferman, Solomon, 1928-2016 [curatore] Material type: Text; Format: print Publication details: New York : Oxford University Press ; Oxford : Clarendon Press, 1986-1995. Availability: Items available for loan: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino (3)Call number: BC 135.G73-1, ... Place hold Request article Save to lists Add to cart (remove)
			La prova di Gödel / Ernest Nagel e James R. Newman. by Nagel, Ernest, 1901-1985 Newman, James Roy, 1907-1966 Series: Universale scientifica Boringhieri ; 102 Material type: Text; Format: print Publication details: Torino : Boringhieri, 1982. Availability: Items available for loan: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino (1)Call number: TOMA 45. Place hold Request article Save to lists Add to cart (remove)
			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 / par Jean Ladrière. by Ladrière, Jean, 1921-2007 Series: Collection de logique mathématique. Série B, Monographies ; 002 Material type: Text; Format: print Publication details: Louvain : É. Nauwelaerts ; Paris : Gauthier-Villars, 1957. Availability: Items available for loan: Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino (1)Call number: BC 135.L13. Place hold Request article Save to lists Add to cart (remove)

Refine your search

Availability

Author

Work

Language

Publication date

Series

Subject

Subject: Name

Subject: Chronology

Genre

Home library

Holding library

Item type

Location

Your search returned 18 results.