Cover Image

On formally undecidable propositions of principia mathematica and related systems

Saved in:

Bibliographic Details
Main Author:	Gödel, Kurt Friedrich (Author)
Format:	Book
Language:	English
Published:	Nueva York Dover 1992
Subjects:	Lógica Lógica matemática Matemática
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Mathematical fallacies and paradoxes
by: Bunch, Bryan H
Published: (1997)

Mathematical Recreations of Lewis Carroll
by: Carroll, Lewis
Published: (1958)

Formal logic
by: Prior, Arthur N
Published: (1962)

Introducción a la lógica y al análisis formal
by: Sacristán Luzón, Manuel
Published: (1964)

Introduction to Mathematical Logic
by: Dinkines, Flora
Published: (1964)

El juego de la lógica y otros escritos
by: Carroll, Lewis
Published: (1984)

Lógica de primer orden
by: Mosterín, Jesús
Published: (1970)

Hacia una lógica de significaciones
by: Piaget, Jean, et al.
Published: (1989)

Mathematical epistemology and psychology
by: Beth, Evert W, et al.
Published: (1966)

Elements of symbolic logic
by: Reichenbach, Hans
Published: (1966)

Beiträge zur Philosophie der Logik und Mathematik
by: Nelson, Leonard
Published: (1959)

Kleine Schriften
by: Frege, Gottlob
Published: (1967)

Ensayos sobre Lógica y conocimiento: 1901 - 1950
by: Russell, Bertrand
Published: (1966)

Introductory formal logic of mathematics
by: Nidditch, P. H.
Published: (1957)

A theory of formal deducibility
by: Curry, Haskell B
Published: (1950)

Lógica
by: Granell Muñiz, Manuel
Published: (1949)

Lógica matemática: antecedentes y fundamentos
by: Moreno, Alberto
Published: (1981)

Lógica matemática: antecedentes y fundamentos
by: Moreno, Alberto
Published: (1971)

Hacia una lógica de significaciones
by: Piaget, Jean, et al.
Published: (1997)

La lógica en la matemática: racionalización de la ciencia exacta
by: Vera, Francisco
Published: (1929)

The principles of mathematics
by: Russell, Bertrand
Published: (1937)

Lógica matemática
by: Ferrater Mora, José, et al.
Published: (1994)

Comprendiendo el infinito
by: Lavine, Shaughan
Published: (2005)

Pruebas y refutaciones: la lógica del descubrimiento matemático
by: Lakatos, Imre
Published: (1982)

El teorema de Gödel
by: Nagel, Ernest
Published: (1970)

El teorema de Gödel
by: Nagel, Ernest
Published: (1981)

Introduction to logic
by: Copi, Irving M, et al.
Published: (2014)

Set theory and logic
by: Stoll, Robert R
Published: (1963)

Logisch-philosophische studien
by: Bochénski, Innocentius M
Published: (1959)

Pruebas y refutaciones. La lógica del descubrimiento matemático
by: Lakatos, Imre
Published: (1978)

Formale und Transzendentale Logik. Versuch einer Kritik der logischen Vernunft
by: Husserl, Edmund
Published: (1974)

Implicazione, endometria, universo del discorso
by: Spisani, Franco
Published: (1977)

Lógica matemática.
by: Ferrater Mora, José
Published: (1962)

Introduction to logical theory
by: Strawson, P. F
Published: (1952)

Logic, semantics, metamathematics: papers from 1923 to 1938
by: Tarski, Alfred
Published: (1956)

Introducción a una teoría de la lógica
by: Strawson, P. F
Published: (1969)

El desarrollo de la lógica
by: Kneale, William, et al.
Published: (1980)

Introducción a la lógica simbólica
by: Stahl, Gerold
Published: (1971)

Understanding numeration systems
by: Johnson, Donovan A, et al.
Published: (1960)

Mathematics and logic
by: Kac, Mark, et al.
Published: (1992)