Los fundamentos de la matemática y otros ensayos sobre lógica
Сохранить в:
| Главный автор: | Ramsey, Frank Plumpton (Автор) |
|---|---|
| Формат: | |
| Язык: | испанский |
| Опубликовано: |
Santiago
Universidad de Chile
1968
|
| Предметы: | |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Схожие документы
La lógica simbólica
по: Agazzi, Evandro
Опубликовано: (1986)
по: Agazzi, Evandro
Опубликовано: (1986)
Lógica para informáticos
по: Farré Cirera, Rafel, и др.
Опубликовано: (2012)
по: Farré Cirera, Rafel, и др.
Опубликовано: (2012)
Lógica simbólica para informáticos
по: Iranzo, Pascual Julián
Опубликовано: (2005)
по: Iranzo, Pascual Julián
Опубликовано: (2005)
Lógica matemática.
по: Ferrater Mora, José
Опубликовано: (1962)
по: Ferrater Mora, José
Опубликовано: (1962)
Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
по: Ledesma, Luis de
Опубликовано: (2010)
по: Ledesma, Luis de
Опубликовано: (2010)
Pruebas y refutaciones: la lógica del descubrimiento matemático
по: Lakatos, Imre
Опубликовано: (1982)
по: Lakatos, Imre
Опубликовано: (1982)
Introducción al simbolismo lógico
по: Bosch, Jorge E
Опубликовано: (1970)
по: Bosch, Jorge E
Опубликовано: (1970)
Popular lectures on mathematical logic
по: Wang, Hao
Опубликовано: (1993)
по: Wang, Hao
Опубликовано: (1993)
Logic colloquium
по: Parikh, Rohit
Опубликовано: (1975)
по: Parikh, Rohit
Опубликовано: (1975)
Lógica combinatoria
по: Curry, Haskell B, и др.
Опубликовано: (1967)
по: Curry, Haskell B, и др.
Опубликовано: (1967)
La logique à l'école
по: Glaymann, Maurice, и др.
Опубликовано: (1972)
по: Glaymann, Maurice, и др.
Опубликовано: (1972)
Modal logics
по: Feys, Robert
Опубликовано: (1965)
по: Feys, Robert
Опубликовано: (1965)
La prueba de Gödel
по: Nagel, Ernest
Опубликовано: (1959)
по: Nagel, Ernest
Опубликовано: (1959)
Gôdel's proof
по: Nagel, Ernest, и др.
Опубликовано: (1958)
по: Nagel, Ernest, и др.
Опубликовано: (1958)
La structure algébrique des théories mathématiques
по: Henkin, Leon
Опубликовано: (1956)
по: Henkin, Leon
Опубликовано: (1956)
Introducción al simbolismo lógico
по: Bosch, Jorge E
Опубликовано: (1981)
по: Bosch, Jorge E
Опубликовано: (1981)
Sur les algèbres de Hilbert
по: Diego, Antonio
Опубликовано: (1966)
по: Diego, Antonio
Опубликовано: (1966)
Lógica, lingüística y matemáticas
по: Serrano, Sebastián
Опубликовано: (1977)
по: Serrano, Sebastián
Опубликовано: (1977)
Manual de lógica para estudiantes de matemáticas
по: Zubieta Russi, Gonzalo
Опубликовано: (1971)
по: Zubieta Russi, Gonzalo
Опубликовано: (1971)
Teaching mathematical reasoning in secondary school classrooms
по: Brodie, Karin
Опубликовано: (2010)
по: Brodie, Karin
Опубликовано: (2010)
Introducción a la lógica y al método científico
по: Cohen, M, и др.
Опубликовано: (1971)
по: Cohen, M, и др.
Опубликовано: (1971)
Introducción a la lógica y al método científico
по: Cohen, Morris Raphael
Опубликовано: (1973)
по: Cohen, Morris Raphael
Опубликовано: (1973)
Lecons de logique formelle
по: Dopp, Joseph
Опубликовано: (1950)
по: Dopp, Joseph
Опубликовано: (1950)
An introduction to Hilbert space and quantum logic
по: Cohen, David W
Опубликовано: (1989)
по: Cohen, David W
Опубликовано: (1989)
Methods in mathematical logic
по: Prisco, C. A. di
Опубликовано: (1985)
по: Prisco, C. A. di
Опубликовано: (1985)
Lógica simbólica: una breve introducción
по: Gómez Calderón, Javier
Опубликовано: (1979)
по: Gómez Calderón, Javier
Опубликовано: (1979)
Introducción a la lógica
по: Copi, Irving M
Опубликовано: (1969)
по: Copi, Irving M
Опубликовано: (1969)
Lógica formal: su alcance y sus límites.
по: Jeffrey, Richard C.
Опубликовано: (1986)
по: Jeffrey, Richard C.
Опубликовано: (1986)
The grammar of mathematics
по: Durst, Lincoln K
Опубликовано: (1969)
по: Durst, Lincoln K
Опубликовано: (1969)
Eléments de logique mathématique: théorie des modèles
по: Kreisel, G, и др.
Опубликовано: (1966)
по: Kreisel, G, и др.
Опубликовано: (1966)
Algebra and logic
по: Crossley, J. N
Опубликовано: (1975)
по: Crossley, J. N
Опубликовано: (1975)
Lógica para lingüistas
по: Allwood, Jens, и др.
Опубликовано: (1981)
по: Allwood, Jens, и др.
Опубликовано: (1981)
An algebraic introduction to mathematical logic
по: Barnes, Donald W, и др.
Опубликовано: (1975)
по: Barnes, Donald W, и др.
Опубликовано: (1975)
Matemáticas para la computación
по: Jiménez Murillo, José Alfredo
Опубликовано: (2014)
по: Jiménez Murillo, José Alfredo
Опубликовано: (2014)
A course in mathematical logic
по: Manin, Yuri Ivanovich
Опубликовано: (1977)
по: Manin, Yuri Ivanovich
Опубликовано: (1977)
Introduction to mathematical logic
по: Mendelson, Elliott
Опубликовано: (1997)
по: Mendelson, Elliott
Опубликовано: (1997)
Symbolic logic and language: a programmed text
по: Dickoff, James, и др.
Опубликовано: (1965)
по: Dickoff, James, и др.
Опубликовано: (1965)
Introduction a la logique mathématique
по: Novikov, P. S. (Petr Sergeevich)
Опубликовано: (1964)
по: Novikov, P. S. (Petr Sergeevich)
Опубликовано: (1964)
Lógica formal, lógica dialéctica
по: Lefebvre, Henri
Опубликовано: (1970)
по: Lefebvre, Henri
Опубликовано: (1970)
Lógica simbólica
по: Hegenberg, Leónidas
Опубликовано: (1966)
по: Hegenberg, Leónidas
Опубликовано: (1966)
Схожие документы
-
La lógica simbólica
по: Agazzi, Evandro
Опубликовано: (1986) -
Lógica para informáticos
по: Farré Cirera, Rafel, и др.
Опубликовано: (2012) -
Lógica simbólica para informáticos
по: Iranzo, Pascual Julián
Опубликовано: (2005) -
Lógica matemática.
по: Ferrater Mora, José
Опубликовано: (1962) -
Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
по: Ledesma, Luis de
Опубликовано: (2010)