An algebraic introduction to mathematical logic
-д хадгалсан:
| Үндсэн зохиолчид: | , |
|---|---|
| Формат: | Ном |
| Хэл сонгох: | англи |
| Хэвлэсэн: |
Nueva York
Springer-Verlag
1975
|
| Цуврал: | Graduate Texts in Mathematics, 22
|
| Нөхцлүүд: | |
| Шошгууд: |
Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|
Ижил төстэй зүйлс
Sur les algèbres de Hilbert
-н: Diego, Antonio
Хэвлэсэн: (1966)
-н: Diego, Antonio
Хэвлэсэн: (1966)
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)
Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
Хэвлэсэн: (1965)
Хэвлэсэн: (1965)
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)
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)
Algebra and logic
-н: Crossley, J. N
Хэвлэсэн: (1975)
-н: Crossley, J. N
Хэвлэсэн: (1975)
Introduction to mathematical logic
-н: Mendelson, Elliott
Хэвлэсэн: (1997)
-н: Mendelson, Elliott
Хэвлэсэн: (1997)
Lógica matemática.
-н: Ferrater Mora, José
Хэвлэсэн: (1962)
-н: Ferrater Mora, José
Хэвлэсэн: (1962)
An introduction to Hilbert space and quantum logic
-н: Cohen, David W
Хэвлэсэн: (1989)
-н: Cohen, David W
Хэвлэсэн: (1989)
La structure algébrique des théories mathématiques
-н: Henkin, Leon
Хэвлэсэн: (1956)
-н: Henkin, Leon
Хэвлэсэн: (1956)
La lógica simbólica
-н: Agazzi, Evandro
Хэвлэсэн: (1986)
-н: Agazzi, Evandro
Хэвлэсэн: (1986)
La logique à l'école
-н: Glaymann, Maurice, зэрэг
Хэвлэсэн: (1972)
-н: Glaymann, Maurice, зэрэг
Хэвлэсэн: (1972)
A course in mathematical logic
-н: Manin, Yuri Ivanovich
Хэвлэсэн: (1977)
-н: Manin, Yuri Ivanovich
Хэвлэсэн: (1977)
Mathematical Logic
-н: Monk, James Donald
Хэвлэсэн: (1976)
-н: Monk, James Donald
Хэвлэсэн: (1976)
Teaching mathematical reasoning in secondary school classrooms
-н: Brodie, Karin
Хэвлэсэн: (2010)
-н: Brodie, Karin
Хэвлэсэн: (2010)
Algebraic logic
-н: Halmos, Paul Richard
Хэвлэсэн: (1962)
-н: Halmos, Paul Richard
Хэвлэсэн: (1962)
Introducción al simbolismo lógico
-н: Bosch, Jorge E
Хэвлэсэн: (1981)
-н: Bosch, Jorge E
Хэвлэсэн: (1981)
Modal logics
-н: Feys, Robert
Хэвлэсэн: (1965)
-н: Feys, Robert
Хэвлэсэн: (1965)
Introduction to mathematical logic
-н: Mendelson, Elliott
Хэвлэсэн: (1964)
-н: Mendelson, Elliott
Хэвлэсэн: (1964)
Los fundamentos de la matemática y otros ensayos sobre lógica
-н: Ramsey, Frank Plumpton
Хэвлэсэн: (1968)
-н: Ramsey, Frank Plumpton
Хэвлэсэн: (1968)
The grammar of mathematics
-н: Durst, Lincoln K
Хэвлэсэн: (1969)
-н: Durst, Lincoln K
Хэвлэсэн: (1969)
Symbolic logic and language: a programmed text
-н: Dickoff, James, зэрэг
Хэвлэсэн: (1965)
-н: Dickoff, James, зэрэг
Хэвлэсэн: (1965)
Manual de lógica para estudiantes de matemáticas
-н: Zubieta Russi, Gonzalo
Хэвлэсэн: (1971)
-н: Zubieta Russi, Gonzalo
Хэвлэсэн: (1971)
Eléments de logique mathématique: théorie des modèles
-н: Kreisel, G, зэрэг
Хэвлэсэн: (1966)
-н: Kreisel, G, зэрэг
Хэвлэсэн: (1966)
Introduction a la logique mathématique
-н: Novikov, P. S. (Petr Sergeevich)
Хэвлэсэн: (1964)
-н: Novikov, P. S. (Petr Sergeevich)
Хэвлэсэн: (1964)
Lógica formal: su alcance y sus límites.
-н: Jeffrey, Richard C.
Хэвлэсэн: (1986)
-н: Jeffrey, Richard C.
Хэвлэсэн: (1986)
Introduction to Mathematical Logic
-н: Dinkines, Flora
Хэвлэсэн: (1964)
-н: Dinkines, Flora
Хэвлэсэн: (1964)