Introduction a la logique mathématique
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | |
| Язык: | французский |
| Опубликовано: |
París
Dunod
1964
|
| Серии: | Collection Universitaire de Mathématiques, 14
|
| Предметы: | |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Схожие документы
Introduction to mathematical logic
по: Mendelson, Elliott
Опубликовано: (1964)
по: Mendelson, Elliott
Опубликовано: (1964)
La logique à l'école
по: Glaymann, Maurice, и др.
Опубликовано: (1972)
по: Glaymann, Maurice, и др.
Опубликовано: (1972)
Lógica básica para la verdad aristotélica
по: Sierra A., Manuel
Опубликовано: (2010)
по: Sierra A., Manuel
Опубликовано: (2010)
The logical basis for computer programming
по: Manna, Zohar, и др.
Опубликовано: (1985)
по: Manna, Zohar, и др.
Опубликовано: (1985)
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)
Lógica simbólica para informáticos
по: Iranzo, Pascual Julián
Опубликовано: (2005)
по: Iranzo, Pascual Julián
Опубликовано: (2005)
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)
Logic colloquium
по: Parikh, Rohit
Опубликовано: (1975)
по: Parikh, Rohit
Опубликовано: (1975)
Lógica para informáticos
по: Farré Cirera, Rafel, и др.
Опубликовано: (2012)
по: Farré Cirera, Rafel, и др.
Опубликовано: (2012)
Eléments de logique mathématique: théorie des modèles
по: Kreisel, G, и др.
Опубликовано: (1966)
по: Kreisel, G, и др.
Опубликовано: (1966)
Elements of mathematical logic
по: Novikov, P. S. (Petr Sergeevich)
Опубликовано: (1964)
по: Novikov, P. S. (Petr Sergeevich)
Опубликовано: (1964)
Lógica simbólica
по: Hegenberg, Leónidas
Опубликовано: (1966)
по: Hegenberg, Leónidas
Опубликовано: (1966)
La structure algébrique des théories mathématiques
по: Henkin, Leon
Опубликовано: (1956)
по: Henkin, Leon
Опубликовано: (1956)
Pruebas y refutaciones: la lógica del descubrimiento matemático
по: Lakatos, Imre
Опубликовано: (1982)
по: Lakatos, Imre
Опубликовано: (1982)
Lógica simbólica: una breve introducción
по: Gómez Calderón, Javier
Опубликовано: (1979)
по: Gómez Calderón, Javier
Опубликовано: (1979)
Tableau systems for first order number theory and certain higher order theories
по: Toledo, Sue
Опубликовано: (1975)
по: Toledo, Sue
Опубликовано: (1975)
Introducción al simbolismo lógico
по: Bosch, Jorge E
Опубликовано: (1981)
по: Bosch, Jorge E
Опубликовано: (1981)
Lógica matemática.
по: Ferrater Mora, José
Опубликовано: (1962)
по: Ferrater Mora, José
Опубликовано: (1962)
Sur les algèbres de Hilbert
по: Diego, Antonio
Опубликовано: (1966)
по: Diego, Antonio
Опубликовано: (1966)
La lógica simbólica
по: Agazzi, Evandro
Опубликовано: (1986)
по: Agazzi, Evandro
Опубликовано: (1986)
An introduction to Hilbert space and quantum logic
по: Cohen, David W
Опубликовано: (1989)
по: Cohen, David W
Опубликовано: (1989)
The elements of mathematical logic
по: Rosenbloom, Paul C
Опубликовано: (1950)
по: Rosenbloom, Paul C
Опубликовано: (1950)
Teaching mathematical reasoning in secondary school classrooms
по: Brodie, Karin
Опубликовано: (2010)
по: Brodie, Karin
Опубликовано: (2010)
Lógica formal: su alcance y sus límites.
по: Jeffrey, Richard C.
Опубликовано: (1986)
по: Jeffrey, Richard C.
Опубликовано: (1986)
Methods in mathematical logic
по: Prisco, C. A. di
Опубликовано: (1985)
по: Prisco, C. A. di
Опубликовано: (1985)
Introduction to mathematical logic
по: Mendelson, Elliott
Опубликовано: (1997)
по: Mendelson, Elliott
Опубликовано: (1997)
Ejercicios de lógica
по: Moreno, Alberto
Опубликовано: (1970)
по: Moreno, Alberto
Опубликовано: (1970)
Algebra and logic
по: Crossley, J. N
Опубликовано: (1975)
по: Crossley, J. N
Опубликовано: (1975)
Los fundamentos de la matemática y otros ensayos sobre lógica
по: Ramsey, Frank Plumpton
Опубликовано: (1968)
по: Ramsey, Frank Plumpton
Опубликовано: (1968)
An algebraic introduction to mathematical logic
по: Barnes, Donald W, и др.
Опубликовано: (1975)
по: Barnes, Donald W, и др.
Опубликовано: (1975)
Primer curso de lógica matemática
по: Suppes, Patrick, и др.
Опубликовано: (1968)
по: Suppes, Patrick, и др.
Опубликовано: (1968)
The grammar of mathematics
по: Durst, Lincoln K
Опубликовано: (1969)
по: Durst, Lincoln K
Опубликовано: (1969)
Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
Опубликовано: (1965)
Опубликовано: (1965)
Lógica combinatoria
по: Curry, Haskell B, и др.
Опубликовано: (1967)
по: Curry, Haskell B, и др.
Опубликовано: (1967)
Modal logics
по: Feys, Robert
Опубликовано: (1965)
по: Feys, Robert
Опубликовано: (1965)