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