A course in mathematical logic
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Nueva York
Springer-Verlag
1977
|
| Edice: | Graduate Texts in Mathematics, 53
|
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky
Popular lectures on mathematical logic
Autor: Wang, Hao
Vydáno: (1993)
Autor: Wang, Hao
Vydáno: (1993)
Logic colloquium
Autor: Parikh, Rohit
Vydáno: (1975)
Autor: Parikh, Rohit
Vydáno: (1975)
Methods in mathematical logic
Autor: Prisco, C. A. di
Vydáno: (1985)
Autor: Prisco, C. A. di
Vydáno: (1985)
Introducción al simbolismo lógico
Autor: Bosch, Jorge E
Vydáno: (1970)
Autor: Bosch, Jorge E
Vydáno: (1970)
Lógica simbólica para informáticos
Autor: Iranzo, Pascual Julián
Vydáno: (2005)
Autor: Iranzo, Pascual Julián
Vydáno: (2005)
Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
Autor: Ledesma, Luis de
Vydáno: (2010)
Autor: Ledesma, Luis de
Vydáno: (2010)
Lógica para informáticos
Autor: Farré Cirera, Rafel, a další
Vydáno: (2012)
Autor: Farré Cirera, Rafel, a další
Vydáno: (2012)
Logic, computers, and sets
Autor: Wang, Hao
Vydáno: (1970)
Autor: Wang, Hao
Vydáno: (1970)
Introduction to mathematical logic
Autor: Mendelson, Elliott
Vydáno: (1997)
Autor: Mendelson, Elliott
Vydáno: (1997)
Pruebas y refutaciones: la lógica del descubrimiento matemático
Autor: Lakatos, Imre
Vydáno: (1982)
Autor: Lakatos, Imre
Vydáno: (1982)
La logique à l'école
Autor: Glaymann, Maurice, a další
Vydáno: (1972)
Autor: Glaymann, Maurice, a další
Vydáno: (1972)
An algebraic introduction to mathematical logic
Autor: Barnes, Donald W, a další
Vydáno: (1975)
Autor: Barnes, Donald W, a další
Vydáno: (1975)
Mathematical Logic
Autor: Monk, James Donald
Vydáno: (1976)
Autor: Monk, James Donald
Vydáno: (1976)
Algebra and logic
Autor: Crossley, J. N
Vydáno: (1975)
Autor: Crossley, J. N
Vydáno: (1975)
An introduction to Hilbert space and quantum logic
Autor: Cohen, David W
Vydáno: (1989)
Autor: Cohen, David W
Vydáno: (1989)
Modal logics
Autor: Feys, Robert
Vydáno: (1965)
Autor: Feys, Robert
Vydáno: (1965)
Teaching mathematical reasoning in secondary school classrooms
Autor: Brodie, Karin
Vydáno: (2010)
Autor: Brodie, Karin
Vydáno: (2010)
Sur les algèbres de Hilbert
Autor: Diego, Antonio
Vydáno: (1966)
Autor: Diego, Antonio
Vydáno: (1966)
Introducción al simbolismo lógico
Autor: Bosch, Jorge E
Vydáno: (1981)
Autor: Bosch, Jorge E
Vydáno: (1981)
Lógica matemática.
Autor: Ferrater Mora, José
Vydáno: (1962)
Autor: Ferrater Mora, José
Vydáno: (1962)
The grammar of mathematics
Autor: Durst, Lincoln K
Vydáno: (1969)
Autor: Durst, Lincoln K
Vydáno: (1969)
La structure algébrique des théories mathématiques
Autor: Henkin, Leon
Vydáno: (1956)
Autor: Henkin, Leon
Vydáno: (1956)
Symbolic logic and language: a programmed text
Autor: Dickoff, James, a další
Vydáno: (1965)
Autor: Dickoff, James, a další
Vydáno: (1965)
Computability and unsolvability
Autor: Davis, Martin
Vydáno: (1982)
Autor: Davis, Martin
Vydáno: (1982)
La lógica simbólica
Autor: Agazzi, Evandro
Vydáno: (1986)
Autor: Agazzi, Evandro
Vydáno: (1986)
Introduction to mathematical logic
Autor: Mendelson, Elliott
Vydáno: (1964)
Autor: Mendelson, Elliott
Vydáno: (1964)
Eléments de logique mathématique: théorie des modèles
Autor: Kreisel, G, a další
Vydáno: (1966)
Autor: Kreisel, G, a další
Vydáno: (1966)
Lógica formal: su alcance y sus límites.
Autor: Jeffrey, Richard C.
Vydáno: (1986)
Autor: Jeffrey, Richard C.
Vydáno: (1986)
Lógica combinatoria
Autor: Curry, Haskell B, a další
Vydáno: (1967)
Autor: Curry, Haskell B, a další
Vydáno: (1967)
Los fundamentos de la matemática y otros ensayos sobre lógica
Autor: Ramsey, Frank Plumpton
Vydáno: (1968)
Autor: Ramsey, Frank Plumpton
Vydáno: (1968)
Introduction a la logique mathématique
Autor: Novikov, P. S. (Petr Sergeevich)
Vydáno: (1964)
Autor: Novikov, P. S. (Petr Sergeevich)
Vydáno: (1964)
The logical basis for computer programming
Autor: Manna, Zohar, a další
Vydáno: (1985)
Autor: Manna, Zohar, a další
Vydáno: (1985)
Lógica simbólica: una breve introducción
Autor: Gómez Calderón, Javier
Vydáno: (1979)
Autor: Gómez Calderón, Javier
Vydáno: (1979)
Manual de lógica para estudiantes de matemáticas
Autor: Zubieta Russi, Gonzalo
Vydáno: (1971)
Autor: Zubieta Russi, Gonzalo
Vydáno: (1971)
Lógica, lingüística y matemáticas
Autor: Serrano, Sebastián
Vydáno: (1977)
Autor: Serrano, Sebastián
Vydáno: (1977)
Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
Vydáno: (1965)
Vydáno: (1965)