A course in mathematical logic
-д хадгалсан:
| Үндсэн зохиолч: | |
|---|---|
| Формат: | Ном |
| Хэл сонгох: | англи |
| Хэвлэсэн: |
Nueva York
Springer-Verlag
1977
|
| Цуврал: | Graduate Texts in Mathematics, 53
|
| Нөхцлүүд: | |
| Шошгууд: |
Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|
Ижил төстэй зүйлс
Popular lectures on mathematical logic
-н: Wang, Hao
Хэвлэсэн: (1993)
-н: Wang, Hao
Хэвлэсэн: (1993)
Logic colloquium
-н: Parikh, Rohit
Хэвлэсэн: (1975)
-н: Parikh, Rohit
Хэвлэсэн: (1975)
Methods in mathematical logic
-н: Prisco, C. A. di
Хэвлэсэн: (1985)
-н: Prisco, C. A. di
Хэвлэсэн: (1985)
Introducción al simbolismo lógico
-н: Bosch, Jorge E
Хэвлэсэн: (1970)
-н: Bosch, Jorge E
Хэвлэсэн: (1970)
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)
Lógica para informáticos
-н: Farré Cirera, Rafel, зэрэг
Хэвлэсэн: (2012)
-н: Farré Cirera, Rafel, зэрэг
Хэвлэсэн: (2012)
Logic, computers, and sets
-н: Wang, Hao
Хэвлэсэн: (1970)
-н: Wang, Hao
Хэвлэсэн: (1970)
Introduction to mathematical logic
-н: Mendelson, Elliott
Хэвлэсэн: (1997)
-н: Mendelson, Elliott
Хэвлэсэн: (1997)
Pruebas y refutaciones: la lógica del descubrimiento matemático
-н: Lakatos, Imre
Хэвлэсэн: (1982)
-н: Lakatos, Imre
Хэвлэсэн: (1982)
La logique à l'école
-н: Glaymann, Maurice, зэрэг
Хэвлэсэн: (1972)
-н: Glaymann, Maurice, зэрэг
Хэвлэсэн: (1972)
An algebraic introduction to mathematical logic
-н: Barnes, Donald W, зэрэг
Хэвлэсэн: (1975)
-н: Barnes, Donald W, зэрэг
Хэвлэсэн: (1975)
Mathematical Logic
-н: Monk, James Donald
Хэвлэсэн: (1976)
-н: Monk, James Donald
Хэвлэсэн: (1976)
Algebra and logic
-н: Crossley, J. N
Хэвлэсэн: (1975)
-н: Crossley, J. N
Хэвлэсэн: (1975)
An introduction to Hilbert space and quantum logic
-н: Cohen, David W
Хэвлэсэн: (1989)
-н: Cohen, David W
Хэвлэсэн: (1989)
Modal logics
-н: Feys, Robert
Хэвлэсэн: (1965)
-н: Feys, Robert
Хэвлэсэн: (1965)
Teaching mathematical reasoning in secondary school classrooms
-н: Brodie, Karin
Хэвлэсэн: (2010)
-н: Brodie, Karin
Хэвлэсэн: (2010)
Sur les algèbres de Hilbert
-н: Diego, Antonio
Хэвлэсэн: (1966)
-н: Diego, Antonio
Хэвлэсэн: (1966)
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)
The grammar of mathematics
-н: Durst, Lincoln K
Хэвлэсэн: (1969)
-н: Durst, Lincoln K
Хэвлэсэн: (1969)
La structure algébrique des théories mathématiques
-н: Henkin, Leon
Хэвлэсэн: (1956)
-н: Henkin, Leon
Хэвлэсэн: (1956)
Symbolic logic and language: a programmed text
-н: Dickoff, James, зэрэг
Хэвлэсэн: (1965)
-н: Dickoff, James, зэрэг
Хэвлэсэн: (1965)
Computability and unsolvability
-н: Davis, Martin
Хэвлэсэн: (1982)
-н: Davis, Martin
Хэвлэсэн: (1982)
La lógica simbólica
-н: Agazzi, Evandro
Хэвлэсэн: (1986)
-н: Agazzi, Evandro
Хэвлэсэн: (1986)
Introduction to mathematical logic
-н: Mendelson, Elliott
Хэвлэсэн: (1964)
-н: Mendelson, Elliott
Хэвлэсэн: (1964)
Eléments de logique mathématique: théorie des modèles
-н: Kreisel, G, зэрэг
Хэвлэсэн: (1966)
-н: Kreisel, G, зэрэг
Хэвлэсэн: (1966)
Lógica formal: su alcance y sus límites.
-н: Jeffrey, Richard C.
Хэвлэсэн: (1986)
-н: Jeffrey, Richard C.
Хэвлэсэн: (1986)
Lógica combinatoria
-н: Curry, Haskell B, зэрэг
Хэвлэсэн: (1967)
-н: Curry, Haskell B, зэрэг
Хэвлэсэн: (1967)
Los fundamentos de la matemática y otros ensayos sobre lógica
-н: Ramsey, Frank Plumpton
Хэвлэсэн: (1968)
-н: Ramsey, Frank Plumpton
Хэвлэсэн: (1968)
Introduction a la logique mathématique
-н: Novikov, P. S. (Petr Sergeevich)
Хэвлэсэн: (1964)
-н: Novikov, P. S. (Petr Sergeevich)
Хэвлэсэн: (1964)
The logical basis for computer programming
-н: Manna, Zohar, зэрэг
Хэвлэсэн: (1985)
-н: Manna, Zohar, зэрэг
Хэвлэсэн: (1985)
Lógica simbólica: una breve introducción
-н: Gómez Calderón, Javier
Хэвлэсэн: (1979)
-н: Gómez Calderón, Javier
Хэвлэсэн: (1979)
Manual de lógica para estudiantes de matemáticas
-н: Zubieta Russi, Gonzalo
Хэвлэсэн: (1971)
-н: Zubieta Russi, Gonzalo
Хэвлэсэн: (1971)
Lógica, lingüística y matemáticas
-н: Serrano, Sebastián
Хэвлэсэн: (1977)
-н: Serrano, Sebastián
Хэвлэсэн: (1977)
Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
Хэвлэсэн: (1965)
Хэвлэсэн: (1965)