El teorema de Gödel
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Այլ հեղինակներ: | |
| Ձևաչափ: | Գիրք |
| Լեզու: | իսպաներեն |
| Հրապարակվել է: |
Ciudad de México
Consejo Nacional de Ciencia y Tecnología
1981
|
| Հրատարակություն: | 1a. ed |
| Շարք: | Ciencia y Desarrollo
|
| Խորագրեր: | |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Նմանատիպ նյութեր
El teorema de Gödel
: Nagel, Ernest
Հրապարակվել է: (1970)
: Nagel, Ernest
Հրապարակվել է: (1970)
La prueba de Gödel
: Nagel, Ernest
Հրապարակվել է: (1959)
: Nagel, Ernest
Հրապարակվել է: (1959)
Gôdel's proof
: Nagel, Ernest, և այլն
Հրապարակվել է: (1958)
: Nagel, Ernest, և այլն
Հրապարակվել է: (1958)
Gödel, Escher, Bach: un eterno y grácil bucle
: Hofstadter, Douglas R
Հրապարակվել է: (1992)
: Hofstadter, Douglas R
Հրապարակվել է: (1992)
Gödel, Escher, Bach: un eterno y grácil bucle
: Hofstadter, Douglas R
Հրապարակվել է: (1998)
: Hofstadter, Douglas R
Հրապարակվել է: (1998)
On formally undecidable propositions of principia mathematica and related systems
: Gödel, Kurt Friedrich
Հրապարակվել է: (1992)
: Gödel, Kurt Friedrich
Հրապարակվել է: (1992)
L'aspect moderne des mathématiques
: Félix, Lucienne
Հրապարակվել է: (1957)
: Félix, Lucienne
Հրապարակվել է: (1957)
Juegos por siempre misteriosos
: Smullyan, Raymond
Հրապարակվել է: (1995)
: Smullyan, Raymond
Հրապարակվել է: (1995)
Mathematical fallacies and paradoxes
: Bunch, Bryan H
Հրապարակվել է: (1997)
: Bunch, Bryan H
Հրապարակվել է: (1997)
Mathematical Recreations of Lewis Carroll
: Carroll, Lewis
Հրապարակվել է: (1958)
: Carroll, Lewis
Հրապարակվել է: (1958)
El juego de la lógica y otros escritos
: Carroll, Lewis
Հրապարակվել է: (1984)
: Carroll, Lewis
Հրապարակվել է: (1984)
Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel
: Mostowski, Andrzej
Հրապարակվել է: (1964)
: Mostowski, Andrzej
Հրապարակվել է: (1964)
Lógica de primer orden
: Mosterín, Jesús
Հրապարակվել է: (1970)
: Mosterín, Jesús
Հրապարակվել է: (1970)
Hacia una lógica de significaciones
: Piaget, Jean, և այլն
Հրապարակվել է: (1989)
: Piaget, Jean, և այլն
Հրապարակվել է: (1989)
Introduction to Mathematical Logic
: Dinkines, Flora
Հրապարակվել է: (1964)
: Dinkines, Flora
Հրապարակվել է: (1964)
Mathematical epistemology and psychology
: Beth, Evert W, և այլն
Հրապարակվել է: (1966)
: Beth, Evert W, և այլն
Հրապարակվել է: (1966)
Elements of symbolic logic
: Reichenbach, Hans
Հրապարակվել է: (1966)
: Reichenbach, Hans
Հրապարակվել է: (1966)
Beiträge zur Philosophie der Logik und Mathematik
: Nelson, Leonard
Հրապարակվել է: (1959)
: Nelson, Leonard
Հրապարակվել է: (1959)
Kleine Schriften
: Frege, Gottlob
Հրապարակվել է: (1967)
: Frege, Gottlob
Հրապարակվել է: (1967)
Ensayos sobre Lógica y conocimiento: 1901 - 1950
: Russell, Bertrand
Հրապարակվել է: (1966)
: Russell, Bertrand
Հրապարակվել է: (1966)
Set theory and metric spaces
: Kaplansky, Irving
Հրապարակվել է: (1977)
: Kaplansky, Irving
Հրապարակվել է: (1977)
Lógica matemática: antecedentes y fundamentos
: Moreno, Alberto
Հրապարակվել է: (1981)
: Moreno, Alberto
Հրապարակվել է: (1981)
Lógica
: Granell Muñiz, Manuel
Հրապարակվել է: (1949)
: Granell Muñiz, Manuel
Հրապարակվել է: (1949)
Lógica matemática: antecedentes y fundamentos
: Moreno, Alberto
Հրապարակվել է: (1971)
: Moreno, Alberto
Հրապարակվել է: (1971)
Hacia una lógica de significaciones
: Piaget, Jean, և այլն
Հրապարակվել է: (1997)
: Piaget, Jean, և այլն
Հրապարակվել է: (1997)
La lógica en la matemática: racionalización de la ciencia exacta
: Vera, Francisco
Հրապարակվել է: (1929)
: Vera, Francisco
Հրապարակվել է: (1929)
Comprendiendo el infinito
: Lavine, Shaughan
Հրապարակվել է: (2005)
: Lavine, Shaughan
Հրապարակվել է: (2005)
The principles of mathematics
: Russell, Bertrand
Հրապարակվել է: (1937)
: Russell, Bertrand
Հրապարակվել է: (1937)
Introducción a la lógica y al análisis formal
: Sacristán Luzón, Manuel
Հրապարակվել է: (1964)
: Sacristán Luzón, Manuel
Հրապարակվել է: (1964)
Lógica matemática
: Ferrater Mora, José, և այլն
Հրապարակվել է: (1994)
: Ferrater Mora, José, և այլն
Հրապարակվել է: (1994)
Pruebas y refutaciones: la lógica del descubrimiento matemático
: Lakatos, Imre
Հրապարակվել է: (1982)
: Lakatos, Imre
Հրապարակվել է: (1982)
Büchi's Monadic second order successor arithmetic
: Siefkes, Dirk
Հրապարակվել է: (1970)
: Siefkes, Dirk
Հրապարակվել է: (1970)
Fundations of mathematics
: Bulloff, Jack J, և այլն
Հրապարակվել է: (1969)
: Bulloff, Jack J, և այլն
Հրապարակվել է: (1969)
Introduction to logic
: Copi, Irving M, և այլն
Հրապարակվել է: (2014)
: Copi, Irving M, և այլն
Հրապարակվել է: (2014)
Logisch-philosophische studien
: Bochénski, Innocentius M
Հրապարակվել է: (1959)
: Bochénski, Innocentius M
Հրապարակվել է: (1959)
Set theory and logic
: Stoll, Robert R
Հրապարակվել է: (1963)
: Stoll, Robert R
Հրապարակվել է: (1963)
Implicazione, endometria, universo del discorso
: Spisani, Franco
Հրապարակվել է: (1977)
: Spisani, Franco
Հրապարակվել է: (1977)
El desarrollo de la lógica
: Kneale, William, և այլն
Հրապարակվել է: (1980)
: Kneale, William, և այլն
Հրապարակվել է: (1980)
Pruebas y refutaciones. La lógica del descubrimiento matemático
: Lakatos, Imre
Հրապարակվել է: (1978)
: Lakatos, Imre
Հրապարակվել է: (1978)
Introducción a la lógica simbólica
: Stahl, Gerold
Հրապարակվել է: (1971)
: Stahl, Gerold
Հրապարակվել է: (1971)