Cargando…

Kurt Gödel : collected works. Volume V /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Gödel, Kurt (Autor)
Otros Autores:	Feferman, Solomon (Editor ), Dawson, John W. (John William), 1944- (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Oxford : Oxford University Press, 2014.
Temas:	Logic, Symbolic and mathematical. Logique symbolique et mathématique. MATHEMATICS > General.
Acceso en línea:	Texto completo

Ejemplares similares

Kurt Gödel : collected works.
por: Gödel, Kurt
Publicado: (2014)

Kurt Gödel : essays for his centennial /
Publicado: (2010)

Mechanical logic in three-dimensional space /
por: Auletta, Gennaro
Publicado: (2013)

Collected works.
por: Gödel, Kurt
Publicado: (1986)

Logical dynamics of information and interaction /
por: Benthem, Johan van, 1949-
Publicado: (2011)

Mathematical logic /
por: Chiswell, Ian, 1948-
Publicado: (2007)

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory /
por: Gödel, Kurt
Publicado: (1940)

Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995 /
Publicado: (2016)

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 /
Publicado: (2010)

Mathematics and plausible reasoning.
por: Pólya, George, 1887-1985
Publicado: (1968)

Gödel '96 : Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy /
Publicado: (2017)

Diamond : a paradox logic /
por: Hellerstein, N. S. (Nathaniel S.)
Publicado: (2010)

Advances in linear logic /
Publicado: (1995)

Logic Colloquium 2006 /
Publicado: (2009)

Simplicity theory /
por: Kim, Byunghan
Publicado: (2014)

Lectures in logic and set theory.
por: Tourlakis, George J.
Publicado: (2003)

Realizability : an introduction to its categorical side /
por: Oosten, Jaap van
Publicado: (2008)

Mathematical interpretation of formal systems
Publicado: (1955)

A survey of mathematical logic /
Publicado: (1963)

Elements of mathematical logic (Model theory)
por: Kreisel, Georg, et al.
Publicado: (1967)

Conditional and preferential logics : proof methods and theorem proving /
por: Pozzato, Gian Luca
Publicado: (2010)

Fixing Frege /
por: Burgess, John P., 1948-
Publicado: (2005)

Proof, logic, and formalization /
Publicado: (1992)

Logic with trees : an introduction to symbolic logic /
por: Howson, Colin
Publicado: (1997)

Studies in logic /
Publicado: (1983)

Nomological statements and admissible operations /
Publicado: (1954)

Elementary Logic
por: QUINE, W. V.
Publicado: (1980)

Constructive order types
por: Crossley, John N.
Publicado: (1969)

Handbook of Mathematical Logic.
por: Barwise, Jon
Publicado: (1989)

In the Light of Logic.
por: Feferman, Solomon
Publicado: (1999)

Introduction to Mathematical Structures and Proofs.
por: Banchoff, Thomas F.
Publicado: (1996)

Reasoning about theoretical entities /
por: Forster, T. E.
Publicado: (2003)

The foundations of mathematics /
por: Stewart, Ian, 1945-, et al.
Publicado: (2015)

Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Publicado: (1987)

Foundations without foundationalism : a case for second-order logic /
por: Shapiro, Stewart, 1951-
Publicado: (1991)

Foundations without foundationalism : a case for second-order logic /
por: Shapiro, Stewart, 1951-
Publicado: (1991)

Deducibility and decidability /
por: Gill, R. R. Rockingham, 1944-
Publicado: (1990)

Mathematical logic in the 20th century /
Publicado: (2003)

Mathematical logic /
por: Chiswell, Ian, 1948-
Publicado: (2007)

Mathematical logic in the 20th century /
Publicado: (2003)

Cannot write session to /tmp/vufind_sessions/sess_60ouqjut2elsjqktq1ujrgk5cf