Cargando…

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

Mostrar otras versiones (1)

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Alonso, Enrique (Autor)
Formato:	Electrónico eBook
Idioma:	Español
Publicado:	[Barcelona] : Montesinos, [2007]
Colección:	Ensayo (Montesinos (Firm))
Temas:	Gödel, Kurt. Logic, Symbolic and mathematical > History > 20th century. Arithmetic > Foundations. Electronic books.
Acceso en línea:	Texto completo

Ejemplares similares

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

Reflections on Kurt Gödel /
por: Wang, Hao, 1921-
Publicado: (1987)

Kurt Gödel o Sobre Las Paradojas
por: López López, Andrés Felipe
Publicado: (2023)

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

A logical journey : from Gödel to philosophy /
por: Wang, Hao, 1921-
Publicado: (1996)

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

Gödel's incompleteness theorems /
por: Smullyan, Raymond M.
Publicado: (1992)

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

Memoirs of a Proof Theorist : Gödel and Other Logicians.
por: Passell, Nicholas
Publicado: (2003)

Gödel's proof /
por: Nagel, Ernest, 1901-1985
Publicado: (2005)

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

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

Gödel's proof /
por: Nagel, Ernest, 1901-1985
Publicado: (2001)

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

Language and godels theorem : a revised edition.
por: Tice, Bradley S.
Publicado: (2012)

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

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

Andrzej Mostowski and foundational studies /
Publicado: (2008)

Andrzej Mostowski and foundational studies /
Publicado: (2008)

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

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

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

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

Introduction to logic and to the methodology of the deductive sciences /
por: Tarski, Alfred
Publicado: (1994)

Thinking on the Web : Berners-Lee, Gödel, and Turing /
por: Alesso, H. P., et al.
Publicado: (2009)

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

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

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

Quaternions for Computer Graphics
por: Vince, John
Publicado: (2011)

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

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

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

Impossibility : the Limits of Science and the Science of Limits.
por: Barrow, John D.
Publicado: (1999)

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

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

Metamathematics of first-order arithmetic /
por: Hájek, Petr, et al.
Publicado: (2016)

Design, Analysis and Test of Logic Circuits Under Uncertainty
por: Krishnaswamy, Smita, et al.
Publicado: (2013)

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

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

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

Cannot write session to /tmp/vufind_sessions/sess_lch1ilhf4sacb56kdk6v8toehp