El teorema de Gödel
Saved in:
| Hovedforfatter: | |
|---|---|
| Andre forfattere: | |
| Format: | Bog |
| Sprog: | spansk |
| Udgivet: |
Ciudad de México
Consejo Nacional de Ciencia y Tecnología
1981
|
| Udgivelse: | 1a. ed |
| Serier: | Ciencia y Desarrollo
|
| Fag: | |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker
El teorema de Gödel
af: Nagel, Ernest
Udgivet: (1970)
af: Nagel, Ernest
Udgivet: (1970)
La prueba de Gödel
af: Nagel, Ernest
Udgivet: (1959)
af: Nagel, Ernest
Udgivet: (1959)
Gôdel's proof
af: Nagel, Ernest, et al.
Udgivet: (1958)
af: Nagel, Ernest, et al.
Udgivet: (1958)
Gödel, Escher, Bach: un eterno y grácil bucle
af: Hofstadter, Douglas R
Udgivet: (1992)
af: Hofstadter, Douglas R
Udgivet: (1992)
Gödel, Escher, Bach: un eterno y grácil bucle
af: Hofstadter, Douglas R
Udgivet: (1998)
af: Hofstadter, Douglas R
Udgivet: (1998)
On formally undecidable propositions of principia mathematica and related systems
af: Gödel, Kurt Friedrich
Udgivet: (1992)
af: Gödel, Kurt Friedrich
Udgivet: (1992)
L'aspect moderne des mathématiques
af: Félix, Lucienne
Udgivet: (1957)
af: Félix, Lucienne
Udgivet: (1957)
Juegos por siempre misteriosos
af: Smullyan, Raymond
Udgivet: (1995)
af: Smullyan, Raymond
Udgivet: (1995)
Mathematical fallacies and paradoxes
af: Bunch, Bryan H
Udgivet: (1997)
af: Bunch, Bryan H
Udgivet: (1997)
Mathematical Recreations of Lewis Carroll
af: Carroll, Lewis
Udgivet: (1958)
af: Carroll, Lewis
Udgivet: (1958)
El juego de la lógica y otros escritos
af: Carroll, Lewis
Udgivet: (1984)
af: Carroll, Lewis
Udgivet: (1984)
Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel
af: Mostowski, Andrzej
Udgivet: (1964)
af: Mostowski, Andrzej
Udgivet: (1964)
Lógica de primer orden
af: Mosterín, Jesús
Udgivet: (1970)
af: Mosterín, Jesús
Udgivet: (1970)
Hacia una lógica de significaciones
af: Piaget, Jean, et al.
Udgivet: (1989)
af: Piaget, Jean, et al.
Udgivet: (1989)
Introduction to Mathematical Logic
af: Dinkines, Flora
Udgivet: (1964)
af: Dinkines, Flora
Udgivet: (1964)
Mathematical epistemology and psychology
af: Beth, Evert W, et al.
Udgivet: (1966)
af: Beth, Evert W, et al.
Udgivet: (1966)
Elements of symbolic logic
af: Reichenbach, Hans
Udgivet: (1966)
af: Reichenbach, Hans
Udgivet: (1966)
Beiträge zur Philosophie der Logik und Mathematik
af: Nelson, Leonard
Udgivet: (1959)
af: Nelson, Leonard
Udgivet: (1959)
Kleine Schriften
af: Frege, Gottlob
Udgivet: (1967)
af: Frege, Gottlob
Udgivet: (1967)
Ensayos sobre Lógica y conocimiento: 1901 - 1950
af: Russell, Bertrand
Udgivet: (1966)
af: Russell, Bertrand
Udgivet: (1966)
Set theory and metric spaces
af: Kaplansky, Irving
Udgivet: (1977)
af: Kaplansky, Irving
Udgivet: (1977)
Lógica matemática: antecedentes y fundamentos
af: Moreno, Alberto
Udgivet: (1981)
af: Moreno, Alberto
Udgivet: (1981)
Lógica
af: Granell Muñiz, Manuel
Udgivet: (1949)
af: Granell Muñiz, Manuel
Udgivet: (1949)
Lógica matemática: antecedentes y fundamentos
af: Moreno, Alberto
Udgivet: (1971)
af: Moreno, Alberto
Udgivet: (1971)
Hacia una lógica de significaciones
af: Piaget, Jean, et al.
Udgivet: (1997)
af: Piaget, Jean, et al.
Udgivet: (1997)
La lógica en la matemática: racionalización de la ciencia exacta
af: Vera, Francisco
Udgivet: (1929)
af: Vera, Francisco
Udgivet: (1929)
Comprendiendo el infinito
af: Lavine, Shaughan
Udgivet: (2005)
af: Lavine, Shaughan
Udgivet: (2005)
The principles of mathematics
af: Russell, Bertrand
Udgivet: (1937)
af: Russell, Bertrand
Udgivet: (1937)
Introducción a la lógica y al análisis formal
af: Sacristán Luzón, Manuel
Udgivet: (1964)
af: Sacristán Luzón, Manuel
Udgivet: (1964)
Lógica matemática
af: Ferrater Mora, José, et al.
Udgivet: (1994)
af: Ferrater Mora, José, et al.
Udgivet: (1994)
Pruebas y refutaciones: la lógica del descubrimiento matemático
af: Lakatos, Imre
Udgivet: (1982)
af: Lakatos, Imre
Udgivet: (1982)
Büchi's Monadic second order successor arithmetic
af: Siefkes, Dirk
Udgivet: (1970)
af: Siefkes, Dirk
Udgivet: (1970)
Fundations of mathematics
af: Bulloff, Jack J, et al.
Udgivet: (1969)
af: Bulloff, Jack J, et al.
Udgivet: (1969)
Introduction to logic
af: Copi, Irving M, et al.
Udgivet: (2014)
af: Copi, Irving M, et al.
Udgivet: (2014)
Logisch-philosophische studien
af: Bochénski, Innocentius M
Udgivet: (1959)
af: Bochénski, Innocentius M
Udgivet: (1959)
Set theory and logic
af: Stoll, Robert R
Udgivet: (1963)
af: Stoll, Robert R
Udgivet: (1963)
Implicazione, endometria, universo del discorso
af: Spisani, Franco
Udgivet: (1977)
af: Spisani, Franco
Udgivet: (1977)
El desarrollo de la lógica
af: Kneale, William, et al.
Udgivet: (1980)
af: Kneale, William, et al.
Udgivet: (1980)
Pruebas y refutaciones. La lógica del descubrimiento matemático
af: Lakatos, Imre
Udgivet: (1978)
af: Lakatos, Imre
Udgivet: (1978)
Introducción a la lógica simbólica
af: Stahl, Gerold
Udgivet: (1971)
af: Stahl, Gerold
Udgivet: (1971)