Imagem da capa

Gôdel's proof

Na minha lista:

Detalhes bibliográficos
Principais autores:	Nagel, Ernest (Autor), Newman, James R. (Autor)
Formato:	Livro
Idioma:	inglês
Publicado em:	Nueva York New York University 1958
Assuntos:	Gödel, Kurt Friedrich Matemática Lógica matemática Lógica formal
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registros relacionados

La prueba de Gödel
por: Nagel, Ernest
Publicado em: (1959)

El teorema de Gödel
por: Nagel, Ernest
Publicado em: (1970)

El teorema de Gödel
por: Nagel, Ernest
Publicado em: (1981)

La lógica simbólica
por: Agazzi, Evandro
Publicado em: (1986)

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

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

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

Lecons de logique formelle
por: Dopp, Joseph
Publicado em: (1950)

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

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

Lógica formal, lógica dialéctica
por: Lefebvre, Henri
Publicado em: (1970)

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

Hermenéutica y racionalidad
por: Vattimo, Gianni
Publicado em: (1994)

Lógica formal, lógica dialéctica
por: Lefebvre, Henri
Publicado em: (2013)

Identidad en la lógica matemática
por: Nemesszeghy Voros, Elemer
Publicado em: (1967)

Derecho y lógica formal.
por: Manson Terrazas, Manuel
Publicado em: (2006)

Iniciación a la Lógica
por: Díez Calzada, José A
Publicado em: (2002)

Proofs and refutations: the logic of mathematical discovery
por: Lakatos, Imre
Publicado em: (1976)

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

The principles of mathematics
por: Russell, Bertrand
Publicado em: (1937)

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

Lógica matemática
por: Ferrater Mora, José, et al.
Publicado em: (1994)

Comprendiendo el infinito
por: Lavine, Shaughan
Publicado em: (2005)

Pruebas y refutaciones: la lógica del descubrimiento matemático
por: Lakatos, Imre
Publicado em: (1982)

Introducción a la lógica formal
por: Deaño, Alfredo
Publicado em: (1975)

Mathematical Recreations of Lewis Carroll
por: Carroll, Lewis
Publicado em: (1958)

Mathematical fallacies and paradoxes
por: Bunch, Bryan H
Publicado em: (1997)

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

Elementos de lógica formal
por: Badesa, Calixto, et al.
Publicado em: (2007)

Modal logics
por: Feys, Robert
Publicado em: (1965)

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

Lógica combinatoria
por: Curry, Haskell B, et al.
Publicado em: (1967)

Lógica matemática.
por: Ferrater Mora, José
Publicado em: (1962)

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

El proceso matemático de clasificar.
por: Luque Arias, Carlos Julio
Publicado em: (2004)

La structure algébrique des théories mathématiques
por: Henkin, Leon
Publicado em: (1956)

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

Matemática insólita: paradojas y paralogismos
por: Bunch, Bryan H
Publicado em: (1987)

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

Mathematical epistemology and psychology
por: Beth, Evert W, et al.
Publicado em: (1966)