A course in mathematical logic
Saved in:
| 主要作者: | |
|---|---|
| 格式: | 圖書 |
| 語言: | 英语 |
| 出版: |
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, et al.
出版: (2012)
由: Farré Cirera, Rafel, et al.
出版: (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, et al.
出版: (1972)
由: Glaymann, Maurice, et al.
出版: (1972)
An algebraic introduction to mathematical logic
由: Barnes, Donald W, et al.
出版: (1975)
由: Barnes, Donald W, et al.
出版: (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, et al.
出版: (1965)
由: Dickoff, James, et al.
出版: (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, et al.
出版: (1966)
由: Kreisel, G, et al.
出版: (1966)
Lógica formal: su alcance y sus límites.
由: Jeffrey, Richard C.
出版: (1986)
由: Jeffrey, Richard C.
出版: (1986)
Lógica combinatoria
由: Curry, Haskell B, et al.
出版: (1967)
由: Curry, Haskell B, et al.
出版: (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, et al.
出版: (1985)
由: Manna, Zohar, et al.
出版: (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)