Chargement en cours…

Sócrates en Viena : una biografía intelectual de Kurt Gödel /

Afficher d'autres versions (1)

Détails bibliographiques
Cote:	Libro Electrónico
Auteur principal:	Alonso, Enrique (Auteur)
Format:	Électronique eBook
Langue:	Español
Publié:	[Barcelona] : Montesinos, [2007]
Collection:	Ensayo (Montesinos (Firm))
Sujets:	Gödel, Kurt. Logic, Symbolic and mathematical > History > 20th century. Arithmetic > Foundations. Electronic books.
Accès en ligne:	Texto completo

Documents similaires

Chargement en cours…

Sócrates en Viena : una biografía intelectual de Kurt Gödel /
par: Alonso, Enrique
Publié: (2007)

Chargement en cours…

Reflections on Kurt Gödel /
par: Wang, Hao, 1921-
Publié: (1987)

Chargement en cours…

Kurt Gödel o Sobre Las Paradojas
par: López López, Andrés Felipe
Publié: (2023)

Chargement en cours…

Kurt Gödel and the foundations of mathematics : horizons of truth /
Publié: (2011)

Chargement en cours…

A logical journey : from Gödel to philosophy /
par: Wang, Hao, 1921-
Publié: (1996)

Chargement en cours…

Memoirs of a proof theorist : Gödel and other logicians /
par: Takeuti, Gaisi, 1926-2017
Publié: (2003)

Chargement en cours…

Gödel's incompleteness theorems /
par: Smullyan, Raymond M.
Publié: (1992)

Chargement en cours…

Logique arithmétique : l'arithmétisation de la logique /
par: Gauthier, Yvon, 1941-
Publié: (2010)

Chargement en cours…

Memoirs of a Proof Theorist : Gödel and Other Logicians.
par: Passell, Nicholas
Publié: (2003)

Chargement en cours…

Gödel's proof /
par: Nagel, Ernest, 1901-1985
Publié: (2005)

Chargement en cours…

The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel /
par: Grattan-Guinness, I.
Publié: (2000)

Chargement en cours…

The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel /
par: Grattan-Guinness, I.
Publié: (2000)

Chargement en cours…

Gödel's proof /
par: Nagel, Ernest, 1901-1985
Publié: (2001)

Chargement en cours…

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings /
Publié: (2009)

Chargement en cours…

Language and godels theorem : a revised edition.
par: Tice, Bradley S.
Publié: (2012)

Chargement en cours…

The Search for Mathematical Roots, 1870-1940 : Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel /
par: Grattan-Guinness, I.
Publié: (2000)

Chargement en cours…

Gödel, Putnam, and functionalism : a new reading of Representation and reality /
par: Buechner, Jeff
Publié: (2008)

Chargement en cours…

Andrzej Mostowski and foundational studies /
Publié: (2008)

Chargement en cours…

Andrzej Mostowski and foundational studies /
Publié: (2008)

Chargement en cours…

Thinking about Gödel and Turing : essays on complexity 1970-2007 /
par: Chaitin, Gregory J.
Publié: (2007)

Chargement en cours…

Gödel, Putnam, and functionalism : a new reading of Representation and reality /
par: Buechner, Jeff
Publié: (2008)

Chargement en cours…

Function Algebras on Finite Sets Basic Course on Many-Valued Logic and Clone Theory /
par: Lau, Dietlinde
Publié: (2006)

Chargement en cours…

Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV /
Publié: (2009)

Chargement en cours…

Introduction to logic and to the methodology of the deductive sciences /
par: Tarski, Alfred
Publié: (1994)

Chargement en cours…

Thinking on the Web : Berners-Lee, Gödel, and Turing /
par: Alesso, H. P., et autres
Publié: (2009)

Chargement en cours…

Logica Universalis Towards a General Theory of Logic /
Publié: (2007)

Chargement en cours…

Logica Universalis Towards a General Theory of Logic /
Publié: (2005)

Chargement en cours…

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
Publié: (2009)

Chargement en cours…

Quaternions for Computer Graphics
par: Vince, John
Publié: (2011)

Chargement en cours…

Finding Fibonacci : the quest to rediscover the forgotten mathematical genius who changed the world /
par: Devlin, Keith J.
Publié: (2017)

Chargement en cours…

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
Publié: (2013)

Chargement en cours…

Computer Algebra in Scientific Computing 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings /
Publié: (2015)

Chargement en cours…

Impossibility : the Limits of Science and the Science of Limits.
par: Barrow, John D.
Publié: (1999)

Chargement en cours…

The selected works of A.M. Turing : his work and impact /
par: Cooper, S. B. (S. Barry)
Publié: (2012)

Chargement en cours…

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications /
par: O'Regan, Gerard
Publié: (2016)

Chargement en cours…

Metamathematics of first-order arithmetic /
par: Hájek, Petr, et autres
Publié: (2016)

Chargement en cours…

Design, Analysis and Test of Logic Circuits Under Uncertainty
par: Krishnaswamy, Smita, et autres
Publié: (2013)

Chargement en cours…

Gödel's theorem : an incomplete guide to its use and abuse /
par: Franzén, Torkel
Publié: (2005)

Chargement en cours…

Computer Algebra in Scientific Computing 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings /
Publié: (2012)

Chargement en cours…

Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings /
Publié: (2016)