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)