On formally undecidable propositions of principia mathematica and related systems
Guardat en:
| Autor principal: | Gödel, Kurt Friedrich (Autor) |
|---|---|
| Format: | Llibre |
| Idioma: | anglès |
| Publicat: |
Nueva York
Dover
1992
|
| Matèries: | |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars
Mathematical fallacies and paradoxes
per: Bunch, Bryan H
Publicat: (1997)
per: Bunch, Bryan H
Publicat: (1997)
Mathematical Recreations of Lewis Carroll
per: Carroll, Lewis
Publicat: (1958)
per: Carroll, Lewis
Publicat: (1958)
Formal logic
per: Prior, Arthur N
Publicat: (1962)
per: Prior, Arthur N
Publicat: (1962)
Introducción a la lógica y al análisis formal
per: Sacristán Luzón, Manuel
Publicat: (1964)
per: Sacristán Luzón, Manuel
Publicat: (1964)
Introduction to Mathematical Logic
per: Dinkines, Flora
Publicat: (1964)
per: Dinkines, Flora
Publicat: (1964)
El juego de la lógica y otros escritos
per: Carroll, Lewis
Publicat: (1984)
per: Carroll, Lewis
Publicat: (1984)
Lógica de primer orden
per: Mosterín, Jesús
Publicat: (1970)
per: Mosterín, Jesús
Publicat: (1970)
Hacia una lógica de significaciones
per: Piaget, Jean, et al.
Publicat: (1989)
per: Piaget, Jean, et al.
Publicat: (1989)
Mathematical epistemology and psychology
per: Beth, Evert W, et al.
Publicat: (1966)
per: Beth, Evert W, et al.
Publicat: (1966)
Elements of symbolic logic
per: Reichenbach, Hans
Publicat: (1966)
per: Reichenbach, Hans
Publicat: (1966)
Beiträge zur Philosophie der Logik und Mathematik
per: Nelson, Leonard
Publicat: (1959)
per: Nelson, Leonard
Publicat: (1959)
Kleine Schriften
per: Frege, Gottlob
Publicat: (1967)
per: Frege, Gottlob
Publicat: (1967)
Ensayos sobre Lógica y conocimiento: 1901 - 1950
per: Russell, Bertrand
Publicat: (1966)
per: Russell, Bertrand
Publicat: (1966)
Introductory formal logic of mathematics
per: Nidditch, P. H.
Publicat: (1957)
per: Nidditch, P. H.
Publicat: (1957)
A theory of formal deducibility
per: Curry, Haskell B
Publicat: (1950)
per: Curry, Haskell B
Publicat: (1950)
Lógica
per: Granell Muñiz, Manuel
Publicat: (1949)
per: Granell Muñiz, Manuel
Publicat: (1949)
Lógica matemática: antecedentes y fundamentos
per: Moreno, Alberto
Publicat: (1981)
per: Moreno, Alberto
Publicat: (1981)
Lógica matemática: antecedentes y fundamentos
per: Moreno, Alberto
Publicat: (1971)
per: Moreno, Alberto
Publicat: (1971)
Hacia una lógica de significaciones
per: Piaget, Jean, et al.
Publicat: (1997)
per: Piaget, Jean, et al.
Publicat: (1997)
La lógica en la matemática: racionalización de la ciencia exacta
per: Vera, Francisco
Publicat: (1929)
per: Vera, Francisco
Publicat: (1929)
The principles of mathematics
per: Russell, Bertrand
Publicat: (1937)
per: Russell, Bertrand
Publicat: (1937)
Lógica matemática
per: Ferrater Mora, José, et al.
Publicat: (1994)
per: Ferrater Mora, José, et al.
Publicat: (1994)
Comprendiendo el infinito
per: Lavine, Shaughan
Publicat: (2005)
per: Lavine, Shaughan
Publicat: (2005)
Pruebas y refutaciones: la lógica del descubrimiento matemático
per: Lakatos, Imre
Publicat: (1982)
per: Lakatos, Imre
Publicat: (1982)
El teorema de Gödel
per: Nagel, Ernest
Publicat: (1970)
per: Nagel, Ernest
Publicat: (1970)
El teorema de Gödel
per: Nagel, Ernest
Publicat: (1981)
per: Nagel, Ernest
Publicat: (1981)
Introduction to logic
per: Copi, Irving M, et al.
Publicat: (2014)
per: Copi, Irving M, et al.
Publicat: (2014)
Set theory and logic
per: Stoll, Robert R
Publicat: (1963)
per: Stoll, Robert R
Publicat: (1963)
Logisch-philosophische studien
per: Bochénski, Innocentius M
Publicat: (1959)
per: Bochénski, Innocentius M
Publicat: (1959)
Pruebas y refutaciones. La lógica del descubrimiento matemático
per: Lakatos, Imre
Publicat: (1978)
per: Lakatos, Imre
Publicat: (1978)
Formale und Transzendentale Logik. Versuch einer Kritik der logischen Vernunft
per: Husserl, Edmund
Publicat: (1974)
per: Husserl, Edmund
Publicat: (1974)
Implicazione, endometria, universo del discorso
per: Spisani, Franco
Publicat: (1977)
per: Spisani, Franco
Publicat: (1977)
Lógica matemática.
per: Ferrater Mora, José
Publicat: (1962)
per: Ferrater Mora, José
Publicat: (1962)
Introduction to logical theory
per: Strawson, P. F
Publicat: (1952)
per: Strawson, P. F
Publicat: (1952)
Logic, semantics, metamathematics: papers from 1923 to 1938
per: Tarski, Alfred
Publicat: (1956)
per: Tarski, Alfred
Publicat: (1956)
Introducción a una teoría de la lógica
per: Strawson, P. F
Publicat: (1969)
per: Strawson, P. F
Publicat: (1969)
Ítems similars
-
Mathematical fallacies and paradoxes
per: Bunch, Bryan H
Publicat: (1997) -
Mathematical Recreations of Lewis Carroll
per: Carroll, Lewis
Publicat: (1958) -
Formal logic
per: Prior, Arthur N
Publicat: (1962) -
Introducción a la lógica y al análisis formal
per: Sacristán Luzón, Manuel
Publicat: (1964) -
Introduction to Mathematical Logic
per: Dinkines, Flora
Publicat: (1964)