Loading…

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

Show other versions (1)

Bibliographic Details
Call Number:	Libro Electrónico
Main Author:	Alonso, Enrique (Author)
Format:	Electronic eBook
Language:	Español
Published:	[Barcelona] : Montesinos, [2007]
Series:	Ensayo (Montesinos (Firm))
Subjects:	Gödel, Kurt. Logic, Symbolic and mathematical > History > 20th century. Arithmetic > Foundations. Electronic books.
Online Access:	Texto completo

Similar Items

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

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

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

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

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

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

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

Philosophische Notizbücher / Philosophical Notebooks.
by: Gödel, Kurt
Published: (2019)

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

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

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

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

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

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

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

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

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

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

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

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

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

Andrzej Mostowski and foundational studies /
Published: (2008)

Andrzej Mostowski and foundational studies /
Published: (2008)

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

Impossibility : the Limits of Science and the Science of Limits.
by: Barrow, John D.
Published: (1999)

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

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

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

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

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

Quaternions for Computer Graphics
by: Vince, John
Published: (2011)

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

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

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

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

Gödel's Proof /
by: Nagel, Ernest, 1901-1985
Published: (2002)

El teorema de Gödel /
by: Nagel, Ernest, 1901-1985
Published: (2007)

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

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

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