Methods in mathematical logic
Saved in:
| Hovedforfatter: | |
|---|---|
| Format: | Bog |
| Sprog: | engelsk |
| Udgivet: |
Berlín
Springer-Verlag
1985
|
| Serier: | Lecture Notes in Mathematics, 1130
|
| Fag: | |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker
Popular lectures on mathematical logic
af: Wang, Hao
Udgivet: (1993)
af: Wang, Hao
Udgivet: (1993)
Logic colloquium
af: Parikh, Rohit
Udgivet: (1975)
af: Parikh, Rohit
Udgivet: (1975)
An algebraic introduction to mathematical logic
af: Barnes, Donald W, et al.
Udgivet: (1975)
af: Barnes, Donald W, et al.
Udgivet: (1975)
Sur les algèbres de Hilbert
af: Diego, Antonio
Udgivet: (1966)
af: Diego, Antonio
Udgivet: (1966)
Introducción al simbolismo lógico
af: Bosch, Jorge E
Udgivet: (1970)
af: Bosch, Jorge E
Udgivet: (1970)
Lógica simbólica para informáticos
af: Iranzo, Pascual Julián
Udgivet: (2005)
af: Iranzo, Pascual Julián
Udgivet: (2005)
Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
af: Ledesma, Luis de
Udgivet: (2010)
af: Ledesma, Luis de
Udgivet: (2010)
Lógica para informáticos
af: Farré Cirera, Rafel, et al.
Udgivet: (2012)
af: Farré Cirera, Rafel, et al.
Udgivet: (2012)
Introduction to mathematical logic
af: Mendelson, Elliott
Udgivet: (1997)
af: Mendelson, Elliott
Udgivet: (1997)
Toposes, algebraic geometry and logic
af: Lawvere, F. William
Udgivet: (1972)
af: Lawvere, F. William
Udgivet: (1972)
Pruebas y refutaciones: la lógica del descubrimiento matemático
af: Lakatos, Imre
Udgivet: (1982)
af: Lakatos, Imre
Udgivet: (1982)
A course in mathematical logic
af: Manin, Yuri Ivanovich
Udgivet: (1977)
af: Manin, Yuri Ivanovich
Udgivet: (1977)
La logique à l'école
af: Glaymann, Maurice, et al.
Udgivet: (1972)
af: Glaymann, Maurice, et al.
Udgivet: (1972)
Algebra and logic
af: Crossley, J. N
Udgivet: (1975)
af: Crossley, J. N
Udgivet: (1975)
An introduction to Hilbert space and quantum logic
af: Cohen, David W
Udgivet: (1989)
af: Cohen, David W
Udgivet: (1989)
Mathematical Logic
af: Monk, James Donald
Udgivet: (1976)
af: Monk, James Donald
Udgivet: (1976)
Teaching mathematical reasoning in secondary school classrooms
af: Brodie, Karin
Udgivet: (2010)
af: Brodie, Karin
Udgivet: (2010)
Modal logics
af: Feys, Robert
Udgivet: (1965)
af: Feys, Robert
Udgivet: (1965)
Lógica matemática.
af: Ferrater Mora, José
Udgivet: (1962)
af: Ferrater Mora, José
Udgivet: (1962)
Introducción al simbolismo lógico
af: Bosch, Jorge E
Udgivet: (1981)
af: Bosch, Jorge E
Udgivet: (1981)
La structure algébrique des théories mathématiques
af: Henkin, Leon
Udgivet: (1956)
af: Henkin, Leon
Udgivet: (1956)
La lógica simbólica
af: Agazzi, Evandro
Udgivet: (1986)
af: Agazzi, Evandro
Udgivet: (1986)
The grammar of mathematics
af: Durst, Lincoln K
Udgivet: (1969)
af: Durst, Lincoln K
Udgivet: (1969)
Introduction to mathematical logic
af: Mendelson, Elliott
Udgivet: (1964)
af: Mendelson, Elliott
Udgivet: (1964)
Symbolic logic and language: a programmed text
af: Dickoff, James, et al.
Udgivet: (1965)
af: Dickoff, James, et al.
Udgivet: (1965)
Lógica formal: su alcance y sus límites.
af: Jeffrey, Richard C.
Udgivet: (1986)
af: Jeffrey, Richard C.
Udgivet: (1986)
Numerical analysis
af: Watson, G. A
Udgivet: (1978)
af: Watson, G. A
Udgivet: (1978)
Eléments de logique mathématique: théorie des modèles
af: Kreisel, G, et al.
Udgivet: (1966)
af: Kreisel, G, et al.
Udgivet: (1966)
Los fundamentos de la matemática y otros ensayos sobre lógica
af: Ramsey, Frank Plumpton
Udgivet: (1968)
af: Ramsey, Frank Plumpton
Udgivet: (1968)
Lógica combinatoria
af: Curry, Haskell B, et al.
Udgivet: (1967)
af: Curry, Haskell B, et al.
Udgivet: (1967)
The logical basis for computer programming
af: Manna, Zohar, et al.
Udgivet: (1985)
af: Manna, Zohar, et al.
Udgivet: (1985)
Manual de lógica para estudiantes de matemáticas
af: Zubieta Russi, Gonzalo
Udgivet: (1971)
af: Zubieta Russi, Gonzalo
Udgivet: (1971)
Introduction a la logique mathématique
af: Novikov, P. S. (Petr Sergeevich)
Udgivet: (1964)
af: Novikov, P. S. (Petr Sergeevich)
Udgivet: (1964)
Lógica simbólica: una breve introducción
af: Gómez Calderón, Javier
Udgivet: (1979)
af: Gómez Calderón, Javier
Udgivet: (1979)
Lógica, lingüística y matemáticas
af: Serrano, Sebastián
Udgivet: (1977)
af: Serrano, Sebastián
Udgivet: (1977)
Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
Udgivet: (1965)
Udgivet: (1965)