La structure algébrique des théories mathématiques
-д хадгалсан:
| Үндсэн зохиолч: | Henkin, Leon (Зохиогч) |
|---|---|
| Формат: | Ном |
| Хэл сонгох: | франц |
| Хэвлэсэн: |
París
Gauther-Villars
1956
|
| Цуврал: | Collection de Logique Mathématique, 9
|
| Нөхцлүүд: | |
| Шошгууд: |
Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|
Ижил төстэй зүйлс
Pruebas y refutaciones: la lógica del descubrimiento matemático
-н: Lakatos, Imre
Хэвлэсэн: (1982)
-н: Lakatos, Imre
Хэвлэсэн: (1982)
Languages with expressions of infinite length
-н: Karp, Carol R
Хэвлэсэн: (1964)
-н: Karp, Carol R
Хэвлэсэн: (1964)
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)
Introducción al simbolismo lógico
-н: Bosch, Jorge E
Хэвлэсэн: (1970)
-н: Bosch, Jorge E
Хэвлэсэн: (1970)
Popular lectures on mathematical logic
-н: Wang, Hao
Хэвлэсэн: (1993)
-н: Wang, Hao
Хэвлэсэн: (1993)
Lógica simbólica para informáticos
-н: Iranzo, Pascual Julián
Хэвлэсэн: (2005)
-н: Iranzo, Pascual Julián
Хэвлэсэн: (2005)
Logic colloquium
-н: Parikh, Rohit
Хэвлэсэн: (1975)
-н: Parikh, Rohit
Хэвлэсэн: (1975)
Lógica para informáticos
-н: Farré Cirera, Rafel, зэрэг
Хэвлэсэн: (2012)
-н: Farré Cirera, Rafel, зэрэг
Хэвлэсэн: (2012)
Lógica matemática.
-н: Ferrater Mora, José
Хэвлэсэн: (1962)
-н: Ferrater Mora, José
Хэвлэсэн: (1962)
La lógica simbólica
-н: Agazzi, Evandro
Хэвлэсэн: (1986)
-н: Agazzi, Evandro
Хэвлэсэн: (1986)
Eléments de logique mathématique: théorie des modèles
-н: Kreisel, G, зэрэг
Хэвлэсэн: (1966)
-н: Kreisel, G, зэрэг
Хэвлэсэн: (1966)
La logique à l'école
-н: Glaymann, Maurice, зэрэг
Хэвлэсэн: (1972)
-н: Glaymann, Maurice, зэрэг
Хэвлэсэн: (1972)
Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
Хэвлэсэн: (1965)
Хэвлэсэн: (1965)
Introducción al simbolismo lógico
-н: Bosch, Jorge E
Хэвлэсэн: (1981)
-н: Bosch, Jorge E
Хэвлэсэн: (1981)
Algebra and logic
-н: Crossley, J. N
Хэвлэсэн: (1975)
-н: Crossley, J. N
Хэвлэсэн: (1975)
Los fundamentos de la matemática y otros ensayos sobre lógica
-н: Ramsey, Frank Plumpton
Хэвлэсэн: (1968)
-н: Ramsey, Frank Plumpton
Хэвлэсэн: (1968)
Sur les algèbres de Hilbert
-н: Diego, Antonio
Хэвлэсэн: (1966)
-н: Diego, Antonio
Хэвлэсэн: (1966)
Teaching mathematical reasoning in secondary school classrooms
-н: Brodie, Karin
Хэвлэсэн: (2010)
-н: Brodie, Karin
Хэвлэсэн: (2010)
Introduction a la logique mathématique
-н: Novikov, P. S. (Petr Sergeevich)
Хэвлэсэн: (1964)
-н: Novikov, P. S. (Petr Sergeevich)
Хэвлэсэн: (1964)
Manual de lógica para estudiantes de matemáticas
-н: Zubieta Russi, Gonzalo
Хэвлэсэн: (1971)
-н: Zubieta Russi, Gonzalo
Хэвлэсэн: (1971)
An introduction to Hilbert space and quantum logic
-н: Cohen, David W
Хэвлэсэн: (1989)
-н: Cohen, David W
Хэвлэсэн: (1989)
Methods in mathematical logic
-н: Prisco, C. A. di
Хэвлэсэн: (1985)
-н: Prisco, C. A. di
Хэвлэсэн: (1985)
Matemáticas discretas: con teoría de gráficas y combinatoria
-н: Veerarajan, T
Хэвлэсэн: (2008)
-н: Veerarajan, T
Хэвлэсэн: (2008)
An algebraic introduction to mathematical logic
-н: Barnes, Donald W, зэрэг
Хэвлэсэн: (1975)
-н: Barnes, Donald W, зэрэг
Хэвлэсэн: (1975)
The grammar of mathematics
-н: Durst, Lincoln K
Хэвлэсэн: (1969)
-н: Durst, Lincoln K
Хэвлэсэн: (1969)
Studies in foundations and combinatorics
-н: Rota, Gian-Carlo
Хэвлэсэн: (1978)
-н: Rota, Gian-Carlo
Хэвлэсэн: (1978)
A course in mathematical logic
-н: Manin, Yuri Ivanovich
Хэвлэсэн: (1977)
-н: Manin, Yuri Ivanovich
Хэвлэсэн: (1977)
Introduction to mathematical logic
-н: Mendelson, Elliott
Хэвлэсэн: (1997)
-н: Mendelson, Elliott
Хэвлэсэн: (1997)
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)
Modal logics
-н: Feys, Robert
Хэвлэсэн: (1965)
-н: Feys, Robert
Хэвлэсэн: (1965)
Boolean algebras
-н: Sikorski, Roman
Хэвлэсэн: (1969)
-н: Sikorski, Roman
Хэвлэсэн: (1969)
Symbolic logic and language: a programmed text
-н: Dickoff, James, зэрэг
Хэвлэсэн: (1965)
-н: Dickoff, James, зэрэг
Хэвлэсэн: (1965)
Logic, computers, and sets
-н: Wang, Hao
Хэвлэсэн: (1970)
-н: Wang, Hao
Хэвлэсэн: (1970)
Matemática discreta
-н: García Gómez, Carlos, зэрэг
Хэвлэсэн: (2002)
-н: García Gómez, Carlos, зэрэг
Хэвлэсэн: (2002)
Lógica simbólica: una breve introducción
-н: Gómez Calderón, Javier
Хэвлэсэн: (1979)
-н: Gómez Calderón, Javier
Хэвлэсэн: (1979)
Ижил төстэй зүйлс
-
Pruebas y refutaciones: la lógica del descubrimiento matemático
-н: Lakatos, Imre
Хэвлэсэн: (1982) -
Languages with expressions of infinite length
-н: Karp, Carol R
Хэвлэсэн: (1964) -
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) -
Introducción al simbolismo lógico
-н: Bosch, Jorge E
Хэвлэсэн: (1970) -
Popular lectures on mathematical logic
-н: Wang, Hao
Хэвлэсэн: (1993)