El teorema de Gödel
Guardat en:
| Autor principal: | Nagel, Ernest (autor) |
|---|---|
| Altres autors: | Newman, James R. (autor) |
| Format: | Llibre |
| Idioma: | espanyol |
| Publicat: |
Ciudad de México
Consejo Nacional de Ciencia y Tecnología
1981
|
| Edició: | 1a. ed |
| Col·lecció: | Ciencia y Desarrollo
|
| Matèries: | |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars
El teorema de Gödel
per: Nagel, Ernest
Publicat: (1970)
per: Nagel, Ernest
Publicat: (1970)
La prueba de Gödel
per: Nagel, Ernest
Publicat: (1959)
per: Nagel, Ernest
Publicat: (1959)
Gôdel's proof
per: Nagel, Ernest, et al.
Publicat: (1958)
per: Nagel, Ernest, et al.
Publicat: (1958)
Gödel, Escher, Bach: un eterno y grácil bucle
per: Hofstadter, Douglas R
Publicat: (1992)
per: Hofstadter, Douglas R
Publicat: (1992)
Gödel, Escher, Bach: un eterno y grácil bucle
per: Hofstadter, Douglas R
Publicat: (1998)
per: Hofstadter, Douglas R
Publicat: (1998)
On formally undecidable propositions of principia mathematica and related systems
per: Gödel, Kurt Friedrich
Publicat: (1992)
per: Gödel, Kurt Friedrich
Publicat: (1992)
L'aspect moderne des mathématiques
per: Félix, Lucienne
Publicat: (1957)
per: Félix, Lucienne
Publicat: (1957)
Juegos por siempre misteriosos
per: Smullyan, Raymond
Publicat: (1995)
per: Smullyan, Raymond
Publicat: (1995)
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)
El juego de la lógica y otros escritos
per: Carroll, Lewis
Publicat: (1984)
per: Carroll, Lewis
Publicat: (1984)
Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel
per: Mostowski, Andrzej
Publicat: (1964)
per: Mostowski, Andrzej
Publicat: (1964)
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)
Introduction to Mathematical Logic
per: Dinkines, Flora
Publicat: (1964)
per: Dinkines, Flora
Publicat: (1964)
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)
Set theory and metric spaces
per: Kaplansky, Irving
Publicat: (1977)
per: Kaplansky, Irving
Publicat: (1977)
Lógica matemática: antecedentes y fundamentos
per: Moreno, Alberto
Publicat: (1981)
per: Moreno, Alberto
Publicat: (1981)
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: (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)
Comprendiendo el infinito
per: Lavine, Shaughan
Publicat: (2005)
per: Lavine, Shaughan
Publicat: (2005)
The principles of mathematics
per: Russell, Bertrand
Publicat: (1937)
per: Russell, Bertrand
Publicat: (1937)
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)
Lógica matemática
per: Ferrater Mora, José, et al.
Publicat: (1994)
per: Ferrater Mora, José, et al.
Publicat: (1994)
Pruebas y refutaciones: la lógica del descubrimiento matemático
per: Lakatos, Imre
Publicat: (1982)
per: Lakatos, Imre
Publicat: (1982)
Büchi's Monadic second order successor arithmetic
per: Siefkes, Dirk
Publicat: (1970)
per: Siefkes, Dirk
Publicat: (1970)
Fundations of mathematics
per: Bulloff, Jack J, et al.
Publicat: (1969)
per: Bulloff, Jack J, et al.
Publicat: (1969)
Introduction to logic
per: Copi, Irving M, et al.
Publicat: (2014)
per: Copi, Irving M, et al.
Publicat: (2014)
Logisch-philosophische studien
per: Bochénski, Innocentius M
Publicat: (1959)
per: Bochénski, Innocentius M
Publicat: (1959)
Set theory and logic
per: Stoll, Robert R
Publicat: (1963)
per: Stoll, Robert R
Publicat: (1963)
Implicazione, endometria, universo del discorso
per: Spisani, Franco
Publicat: (1977)
per: Spisani, Franco
Publicat: (1977)
El desarrollo de la lógica
per: Kneale, William, et al.
Publicat: (1980)
per: Kneale, William, et al.
Publicat: (1980)
Pruebas y refutaciones. La lógica del descubrimiento matemático
per: Lakatos, Imre
Publicat: (1978)
per: Lakatos, Imre
Publicat: (1978)
Introducción a la lógica simbólica
per: Stahl, Gerold
Publicat: (1971)
per: Stahl, Gerold
Publicat: (1971)
Ítems similars
-
El teorema de Gödel
per: Nagel, Ernest
Publicat: (1970) -
La prueba de Gödel
per: Nagel, Ernest
Publicat: (1959) -
Gôdel's proof
per: Nagel, Ernest, et al.
Publicat: (1958) -
Gödel, Escher, Bach: un eterno y grácil bucle
per: Hofstadter, Douglas R
Publicat: (1992) -
Gödel, Escher, Bach: un eterno y grácil bucle
per: Hofstadter, Douglas R
Publicat: (1998)