A course in mathematical logic
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Fformat: | Llyfr |
| Iaith: | Saesneg |
| Cyhoeddwyd: |
Nueva York
Springer-Verlag
1977
|
| Cyfres: | Graduate Texts in Mathematics, 53
|
| Pynciau: | |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
Eitemau Tebyg
Popular lectures on mathematical logic
gan: Wang, Hao
Cyhoeddwyd: (1993)
gan: Wang, Hao
Cyhoeddwyd: (1993)
Logic colloquium
gan: Parikh, Rohit
Cyhoeddwyd: (1975)
gan: Parikh, Rohit
Cyhoeddwyd: (1975)
Methods in mathematical logic
gan: Prisco, C. A. di
Cyhoeddwyd: (1985)
gan: Prisco, C. A. di
Cyhoeddwyd: (1985)
Introducción al simbolismo lógico
gan: Bosch, Jorge E
Cyhoeddwyd: (1970)
gan: Bosch, Jorge E
Cyhoeddwyd: (1970)
Lógica simbólica para informáticos
gan: Iranzo, Pascual Julián
Cyhoeddwyd: (2005)
gan: Iranzo, Pascual Julián
Cyhoeddwyd: (2005)
Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
gan: Ledesma, Luis de
Cyhoeddwyd: (2010)
gan: Ledesma, Luis de
Cyhoeddwyd: (2010)
Lógica para informáticos
gan: Farré Cirera, Rafel, et al.
Cyhoeddwyd: (2012)
gan: Farré Cirera, Rafel, et al.
Cyhoeddwyd: (2012)
Logic, computers, and sets
gan: Wang, Hao
Cyhoeddwyd: (1970)
gan: Wang, Hao
Cyhoeddwyd: (1970)
Introduction to mathematical logic
gan: Mendelson, Elliott
Cyhoeddwyd: (1997)
gan: Mendelson, Elliott
Cyhoeddwyd: (1997)
Pruebas y refutaciones: la lógica del descubrimiento matemático
gan: Lakatos, Imre
Cyhoeddwyd: (1982)
gan: Lakatos, Imre
Cyhoeddwyd: (1982)
La logique à l'école
gan: Glaymann, Maurice, et al.
Cyhoeddwyd: (1972)
gan: Glaymann, Maurice, et al.
Cyhoeddwyd: (1972)
An algebraic introduction to mathematical logic
gan: Barnes, Donald W, et al.
Cyhoeddwyd: (1975)
gan: Barnes, Donald W, et al.
Cyhoeddwyd: (1975)
Mathematical Logic
gan: Monk, James Donald
Cyhoeddwyd: (1976)
gan: Monk, James Donald
Cyhoeddwyd: (1976)
Algebra and logic
gan: Crossley, J. N
Cyhoeddwyd: (1975)
gan: Crossley, J. N
Cyhoeddwyd: (1975)
An introduction to Hilbert space and quantum logic
gan: Cohen, David W
Cyhoeddwyd: (1989)
gan: Cohen, David W
Cyhoeddwyd: (1989)
Modal logics
gan: Feys, Robert
Cyhoeddwyd: (1965)
gan: Feys, Robert
Cyhoeddwyd: (1965)
Teaching mathematical reasoning in secondary school classrooms
gan: Brodie, Karin
Cyhoeddwyd: (2010)
gan: Brodie, Karin
Cyhoeddwyd: (2010)
Sur les algèbres de Hilbert
gan: Diego, Antonio
Cyhoeddwyd: (1966)
gan: Diego, Antonio
Cyhoeddwyd: (1966)
Introducción al simbolismo lógico
gan: Bosch, Jorge E
Cyhoeddwyd: (1981)
gan: Bosch, Jorge E
Cyhoeddwyd: (1981)
Lógica matemática.
gan: Ferrater Mora, José
Cyhoeddwyd: (1962)
gan: Ferrater Mora, José
Cyhoeddwyd: (1962)
The grammar of mathematics
gan: Durst, Lincoln K
Cyhoeddwyd: (1969)
gan: Durst, Lincoln K
Cyhoeddwyd: (1969)
La structure algébrique des théories mathématiques
gan: Henkin, Leon
Cyhoeddwyd: (1956)
gan: Henkin, Leon
Cyhoeddwyd: (1956)
Symbolic logic and language: a programmed text
gan: Dickoff, James, et al.
Cyhoeddwyd: (1965)
gan: Dickoff, James, et al.
Cyhoeddwyd: (1965)
Computability and unsolvability
gan: Davis, Martin
Cyhoeddwyd: (1982)
gan: Davis, Martin
Cyhoeddwyd: (1982)
La lógica simbólica
gan: Agazzi, Evandro
Cyhoeddwyd: (1986)
gan: Agazzi, Evandro
Cyhoeddwyd: (1986)
Introduction to mathematical logic
gan: Mendelson, Elliott
Cyhoeddwyd: (1964)
gan: Mendelson, Elliott
Cyhoeddwyd: (1964)
Eléments de logique mathématique: théorie des modèles
gan: Kreisel, G, et al.
Cyhoeddwyd: (1966)
gan: Kreisel, G, et al.
Cyhoeddwyd: (1966)
Lógica formal: su alcance y sus límites.
gan: Jeffrey, Richard C.
Cyhoeddwyd: (1986)
gan: Jeffrey, Richard C.
Cyhoeddwyd: (1986)
Lógica combinatoria
gan: Curry, Haskell B, et al.
Cyhoeddwyd: (1967)
gan: Curry, Haskell B, et al.
Cyhoeddwyd: (1967)
Los fundamentos de la matemática y otros ensayos sobre lógica
gan: Ramsey, Frank Plumpton
Cyhoeddwyd: (1968)
gan: Ramsey, Frank Plumpton
Cyhoeddwyd: (1968)
Introduction a la logique mathématique
gan: Novikov, P. S. (Petr Sergeevich)
Cyhoeddwyd: (1964)
gan: Novikov, P. S. (Petr Sergeevich)
Cyhoeddwyd: (1964)
The logical basis for computer programming
gan: Manna, Zohar, et al.
Cyhoeddwyd: (1985)
gan: Manna, Zohar, et al.
Cyhoeddwyd: (1985)
Lógica simbólica: una breve introducción
gan: Gómez Calderón, Javier
Cyhoeddwyd: (1979)
gan: Gómez Calderón, Javier
Cyhoeddwyd: (1979)
Manual de lógica para estudiantes de matemáticas
gan: Zubieta Russi, Gonzalo
Cyhoeddwyd: (1971)
gan: Zubieta Russi, Gonzalo
Cyhoeddwyd: (1971)
Lógica, lingüística y matemáticas
gan: Serrano, Sebastián
Cyhoeddwyd: (1977)
gan: Serrano, Sebastián
Cyhoeddwyd: (1977)
Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
Cyhoeddwyd: (1965)
Cyhoeddwyd: (1965)