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)