Azala

La prueba de Gödel

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Nagel, Ernest (autor)
Beste egile batzuk:	Newman, James R. (autor)
Formatua:	Liburua
Hizkuntza:	gaztelania
Argitaratua:	Ciudad de México Centro de Estudios Filosóficos 1959
Saila:	Cuadernos del Centro de Estudios Filosóficos, 6
Gaiak:	Gödel, Kurt Friedrich Matemática Lógica matemática Lógica formal
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Antzeko izenburuak

Gôdel's proof
nork: Nagel, Ernest, et al.
Argitaratua: (1958)

El teorema de Gödel
nork: Nagel, Ernest
Argitaratua: (1970)

El teorema de Gödel
nork: Nagel, Ernest
Argitaratua: (1981)

La lógica simbólica
nork: Agazzi, Evandro
Argitaratua: (1986)

Los fundamentos de la matemática y otros ensayos sobre lógica
nork: Ramsey, Frank Plumpton
Argitaratua: (1968)

Introducción a la lógica y al método científico
nork: Cohen, M, et al.
Argitaratua: (1971)

Lecons de logique formelle
nork: Dopp, Joseph
Argitaratua: (1950)

Gödel, Escher, Bach: un eterno y grácil bucle
nork: Hofstadter, Douglas R
Argitaratua: (1992)

Introducción a la lógica y al método científico
nork: Cohen, Morris Raphael
Argitaratua: (1973)

Gödel, Escher, Bach: un eterno y grácil bucle
nork: Hofstadter, Douglas R
Argitaratua: (1998)

Aprendiendo a pensar: manual de razonamiento lógico para niños y jóvenes
nork: Arredondo Guevara, Marcial
Argitaratua: (2017)

Lógica formal, lógica dialéctica
nork: Lefebvre, Henri
Argitaratua: (1970)

Hermenéutica y racionalidad
nork: Vattimo, Gianni
Argitaratua: (1994)

Lógica formal, lógica dialéctica
nork: Lefebvre, Henri
Argitaratua: (2013)

Identidad en la lógica matemática
nork: Nemesszeghy Voros, Elemer
Argitaratua: (1967)

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

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

Iniciación a la Lógica
nork: Díez Calzada, José A
Argitaratua: (2002)

Derecho y lógica formal.
nork: Manson Terrazas, Manuel
Argitaratua: (2006)

On formally undecidable propositions of principia mathematica and related systems
nork: Gödel, Kurt Friedrich
Argitaratua: (1992)

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

Introducción a la lógica formal
nork: Deaño, Alfredo
Argitaratua: (1975)

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

Comprendiendo el infinito
nork: Lavine, Shaughan
Argitaratua: (2005)

The principles of mathematics
nork: Russell, Bertrand
Argitaratua: (1937)

Argumentación, derecho y lógica: introducción lógico-filosófica al estudio de la argumentación jurídica
nork: Manson Terrazas, Manuel
Argitaratua: (2000)

Elementos de lógica formal
nork: Badesa, Calixto, et al.
Argitaratua: (2007)

Mathematical fallacies and paradoxes
nork: Bunch, Bryan H
Argitaratua: (1997)

Mathematical Recreations of Lewis Carroll
nork: Carroll, Lewis
Argitaratua: (1958)

Lógica combinatoria
nork: Curry, Haskell B, et al.
Argitaratua: (1967)

Modal logics
nork: Feys, Robert
Argitaratua: (1965)

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

El proceso matemático de clasificar.
nork: Luque Arias, Carlos Julio
Argitaratua: (2004)

An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities
nork: Boole, George
Argitaratua: (1958)

La structure algébrique des théories mathématiques
nork: Henkin, Leon
Argitaratua: (1956)

Elementos de filosofía positiva. Segunda edición, revisada y corregida
nork: Lois, Juan S.
Argitaratua: (1906)

Matemática insólita: paradojas y paralogismos
nork: Bunch, Bryan H
Argitaratua: (1987)

El cerebro matemático: cómo nacen, viven y a veces mueren los números en nuestra mente
nork: Dehaene, Stanislas
Argitaratua: (2016)

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

Mathematical epistemology and psychology
nork: Beth, Evert W, et al.
Argitaratua: (1966)