Kansikuva

El teorema de Gödel

Näytä muut versiot (1)

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Nagel, Ernest (autor)
Muut tekijät:	Newman, James R. (autor)
Aineistotyyppi:	Kirja
Kieli:	espanja
Julkaistu:	Madrid Tecnos 1970
Sarja:	Estructura y Función
Aiheet:	Gödel, Kurt Friedrich Lógica matemática Matemática Lógica TEOREMAS
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Samankaltaisia teoksia

El teorema de Gödel
Tekijä: Nagel, Ernest
Julkaistu: (1981)

La prueba de Gödel
Tekijä: Nagel, Ernest
Julkaistu: (1959)

Gôdel's proof
Tekijä: Nagel, Ernest, et al.
Julkaistu: (1958)

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

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

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

L'aspect moderne des mathématiques
Tekijä: Félix, Lucienne
Julkaistu: (1957)

Juegos por siempre misteriosos
Tekijä: Smullyan, Raymond
Julkaistu: (1995)

Mathematical fallacies and paradoxes
Tekijä: Bunch, Bryan H
Julkaistu: (1997)

Mathematical Recreations of Lewis Carroll
Tekijä: Carroll, Lewis
Julkaistu: (1958)

El juego de la lógica y otros escritos
Tekijä: Carroll, Lewis
Julkaistu: (1984)

Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel
Tekijä: Mostowski, Andrzej
Julkaistu: (1964)

Lógica de primer orden
Tekijä: Mosterín, Jesús
Julkaistu: (1970)

Hacia una lógica de significaciones
Tekijä: Piaget, Jean, et al.
Julkaistu: (1989)

Introduction to Mathematical Logic
Tekijä: Dinkines, Flora
Julkaistu: (1964)

Mathematical epistemology and psychology
Tekijä: Beth, Evert W, et al.
Julkaistu: (1966)

Elements of symbolic logic
Tekijä: Reichenbach, Hans
Julkaistu: (1966)

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

Kleine Schriften
Tekijä: Frege, Gottlob
Julkaistu: (1967)

Ensayos sobre Lógica y conocimiento: 1901 - 1950
Tekijä: Russell, Bertrand
Julkaistu: (1966)

Set theory and metric spaces
Tekijä: Kaplansky, Irving
Julkaistu: (1977)

Lógica
Tekijä: Granell Muñiz, Manuel
Julkaistu: (1949)

Lógica matemática: antecedentes y fundamentos
Tekijä: Moreno, Alberto
Julkaistu: (1981)

Lógica matemática: antecedentes y fundamentos
Tekijä: Moreno, Alberto
Julkaistu: (1971)

Hacia una lógica de significaciones
Tekijä: Piaget, Jean, et al.
Julkaistu: (1997)

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

Comprendiendo el infinito
Tekijä: Lavine, Shaughan
Julkaistu: (2005)

The principles of mathematics
Tekijä: Russell, Bertrand
Julkaistu: (1937)

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

Lógica matemática
Tekijä: Ferrater Mora, José, et al.
Julkaistu: (1994)

Pruebas y refutaciones: la lógica del descubrimiento matemático
Tekijä: Lakatos, Imre
Julkaistu: (1982)

Büchi's Monadic second order successor arithmetic
Tekijä: Siefkes, Dirk
Julkaistu: (1970)

Fundations of mathematics
Tekijä: Bulloff, Jack J, et al.
Julkaistu: (1969)

Introduction to logic
Tekijä: Copi, Irving M, et al.
Julkaistu: (2014)

Logisch-philosophische studien
Tekijä: Bochénski, Innocentius M
Julkaistu: (1959)

Set theory and logic
Tekijä: Stoll, Robert R
Julkaistu: (1963)

Implicazione, endometria, universo del discorso
Tekijä: Spisani, Franco
Julkaistu: (1977)

El desarrollo de la lógica
Tekijä: Kneale, William, et al.
Julkaistu: (1980)

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

Introducción a la lógica simbólica
Tekijä: Stahl, Gerold
Julkaistu: (1971)