Cargando…

Logic’s lost genius: the life of Gerhard Gentzen

Detalles Bibliográficos
Autor principal:	Menzler-Trott, Eckart
Lenguaje:	eng
Publicado:	American Mathematical Society 2016
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/2288825

Ejemplares similares

Saved from the cellar: Gerhard Gentzen’s shorthand notes on logic and foundations of mathematics
por: von Plato, Jan
Publicado: (2017)

Gentzen Calculi for Modal Propositional Logic
por: Poggiolesi, Francesca
Publicado: (2011)

Gentzen's centenary: the quest for consistency
por: Kahle, Reinhard, et al.
Publicado: (2015)

Where is the Gödel-point hiding: Gentzen's consistency proof of 1936 and his representation of constructive ordinals
por: Horská, Anna
Publicado: (2013)

Topics in combinatorics and graph theory: essays in honour of Gerhard Ringel
por: Bodendiek, Rainer, et al.
Publicado: (1990)

Henri Poincaré: Impatient Genius
por: Verhulst, Ferdinand
Publicado: (2012)

Insights of genius: imagery and creativity in science and art
por: Miller, Arthur I
Publicado: (1996)

A pure soul: Ennio De Giorgi, a mathematical genius
por: Parlangeli, Andrea
Publicado: (2019)

Ramanujan's lost notebook
por: Andrews, George E, et al.
Publicado: (2005)

Towards an arithmetical logic: the arithmetical foundations of logic
por: Gauthier, Yvon
Publicado: (2015)

Logic, action and cognition: essays in philosophical logic
por: Ejerhed, Eva, et al.
Publicado: (1997)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, C J, et al.
Publicado: (1994)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, C L, et al.
Publicado: (1994)

Classical Mathematical Logic: The Semantic Foundations of Logic
por: Epstein, Richard L, et al.
Publicado: (2011)

Functions and generality of logic: reflections on Dedekind's and Frege's logicisms
por: Benis-Sinaceur, Hourya, et al.
Publicado: (2015)

Logicism renewed: logical foundations for mathematics and computer science
por: Gilmore, Paul C
Publicado: (2005)

Logic colloquium '99: lecture notes in logic 17
por: Van Eijck, Jan, et al.
Publicado: (2004)

Logic colloquium '02: lecture notes in logic 27
por: Chatzidakis, ZoÃ©, et al.
Publicado: (2006)

Rethinking logic: logic in relation to mathematics, evolution, and method
por: Cellucci, Carlo
Publicado: (2014)

Internal logic
por: Hintikka, Jaakko, et al.
Publicado: (2010)

Logical labyrinths
por: Smullyan, Raymond
Publicado: (2008)

Computability and logic
por: Boolos, George S, et al.
Publicado: (2007)

Logic Symposia
por: Müller, Gert, et al.
Publicado: (1981)

Symposium on Logic
por: Parikh, Rohit
Publicado: (1975)

Logic and algebra
por: Zhang, Yi
Publicado: (2002)

Logic and structure
por: Dalen, Dirk
Publicado: (1983)

Mathematical logic
por: Ebbinghaus, H -D, et al.
Publicado: (1994)

Sets and logic
por: Hanna, Samuel C, et al.
Publicado: (1971)

Introduction to logic
por: Suppes, Patrick
Publicado: (1957)

Symbolic logic
por: Venn, John
Publicado: (1971)

Fuzzy logic
por: Smets, P
Publicado: (1995)

Fuzzy logic
por: Baldwin, J F
Publicado: (1996)

Logic and structure
por: Dan Dalen, Dirk
Publicado: (1997)

Logic as algebra
por: Halmos, Paul, et al.
Publicado: (1998)

Logic for mathematicians
por: Hamilton, Alan G
Publicado: (1978)

Mathematical logic
por: Ponasse, Daniel
Publicado: (1973)

Mathematical logic
por: Kleene, Stephen Cole
Publicado: (1967)

Logic and Structure
por: Dalen, Dirk
Publicado: (2013)

Logic and structure
por: van Dalen, Dirk
Publicado: (2008)

Analysis and logic
por: Henson, C Ward, et al.
Publicado: (2003)

Cannot write session to /tmp/vufind_sessions/sess_30s0lkvf0qibom863lo3l6a906