Sur les algèbres de Hilbert
Збережено в:
| Автор: | Diego, Antonio (Автор) |
|---|---|
| Формат: | Книга |
| Мова: | Французька |
| Опубліковано: |
París
Gauther-Villars
1966
|
| Серія: | Collection de Logique Mathématique, 21
|
| Предмети: | |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Схожі ресурси
An algebraic introduction to mathematical logic
за авторством: Barnes, Donald W, та інші
Опубліковано: (1975)
за авторством: Barnes, Donald W, та інші
Опубліковано: (1975)
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)
An introduction to Hilbert space and quantum logic
за авторством: Cohen, David W
Опубліковано: (1989)
за авторством: Cohen, David W
Опубліковано: (1989)
Pruebas y refutaciones: la lógica del descubrimiento matemático
за авторством: Lakatos, Imre
Опубліковано: (1982)
за авторством: Lakatos, Imre
Опубліковано: (1982)
Methods in mathematical logic
за авторством: Prisco, C. A. di
Опубліковано: (1985)
за авторством: Prisco, C. A. di
Опубліковано: (1985)
La logique à l'école
за авторством: Glaymann, Maurice, та інші
Опубліковано: (1972)
за авторством: Glaymann, Maurice, та інші
Опубліковано: (1972)
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)
La structure algébrique des théories mathématiques
за авторством: Henkin, Leon
Опубліковано: (1956)
за авторством: Henkin, Leon
Опубліковано: (1956)
La lógica simbólica
за авторством: Agazzi, Evandro
Опубліковано: (1986)
за авторством: Agazzi, Evandro
Опубліковано: (1986)
Teaching mathematical reasoning in secondary school classrooms
за авторством: Brodie, Karin
Опубліковано: (2010)
за авторством: Brodie, Karin
Опубліковано: (2010)
Lógica formal: su alcance y sus límites.
за авторством: Jeffrey, Richard C.
Опубліковано: (1986)
за авторством: Jeffrey, Richard C.
Опубліковано: (1986)
Eléments de logique mathématique: théorie des modèles
за авторством: Kreisel, G, та інші
Опубліковано: (1966)
за авторством: Kreisel, G, та інші
Опубліковано: (1966)
Algebra and logic
за авторством: Crossley, J. N
Опубліковано: (1975)
за авторством: Crossley, J. N
Опубліковано: (1975)
Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
Опубліковано: (1965)
Опубліковано: (1965)
Los fundamentos de la matemática y otros ensayos sobre lógica
за авторством: Ramsey, Frank Plumpton
Опубліковано: (1968)
за авторством: Ramsey, Frank Plumpton
Опубліковано: (1968)
The grammar of mathematics
за авторством: Durst, Lincoln K
Опубліковано: (1969)
за авторством: Durst, Lincoln K
Опубліковано: (1969)
Lógica combinatoria
за авторством: Curry, Haskell B, та інші
Опубліковано: (1967)
за авторством: Curry, Haskell B, та інші
Опубліковано: (1967)
Modal logics
за авторством: Feys, Robert
Опубліковано: (1965)
за авторством: Feys, Robert
Опубліковано: (1965)
A course in mathematical logic
за авторством: Manin, Yuri Ivanovich
Опубліковано: (1977)
за авторством: Manin, Yuri Ivanovich
Опубліковано: (1977)
Lógica simbólica: una breve introducción
за авторством: Gómez Calderón, Javier
Опубліковано: (1979)
за авторством: Gómez Calderón, Javier
Опубліковано: (1979)
Introduction a la logique mathématique
за авторством: Novikov, P. S. (Petr Sergeevich)
Опубліковано: (1964)
за авторством: Novikov, P. S. (Petr Sergeevich)
Опубліковано: (1964)
Introduction to mathematical logic
за авторством: Mendelson, Elliott
Опубліковано: (1997)
за авторством: Mendelson, Elliott
Опубліковано: (1997)
Algebraic logic
за авторством: Halmos, Paul Richard
Опубліковано: (1962)
за авторством: Halmos, Paul Richard
Опубліковано: (1962)
Manual de lógica para estudiantes de matemáticas
за авторством: Zubieta Russi, Gonzalo
Опубліковано: (1971)
за авторством: Zubieta Russi, Gonzalo
Опубліковано: (1971)
Symbolic logic and language: a programmed text
за авторством: Dickoff, James, та інші
Опубліковано: (1965)
за авторством: Dickoff, James, та інші
Опубліковано: (1965)
Lógica, lingüística y matemáticas
за авторством: Serrano, Sebastián
Опубліковано: (1977)
за авторством: Serrano, Sebastián
Опубліковано: (1977)
Mathematical Logic
за авторством: Monk, James Donald
Опубліковано: (1976)
за авторством: Monk, James Donald
Опубліковано: (1976)
Théorie structurelle des automates finis
за авторством: Moisil, Grigore C.
Опубліковано: (1967)
за авторством: Moisil, Grigore C.
Опубліковано: (1967)
Studies in foundations and combinatorics
за авторством: Rota, Gian-Carlo
Опубліковано: (1978)
за авторством: Rota, Gian-Carlo
Опубліковано: (1978)
Lógica para lingüistas
за авторством: Allwood, Jens, та інші
Опубліковано: (1981)
за авторством: Allwood, Jens, та інші
Опубліковано: (1981)
Ordinal algebras
за авторством: Tarski, Alfred
Опубліковано: (1956)
за авторством: Tarski, Alfred
Опубліковано: (1956)
Lógica simbólica
за авторством: Hegenberg, Leónidas
Опубліковано: (1966)
за авторством: Hegenberg, Leónidas
Опубліковано: (1966)
The logical basis for computer programming
за авторством: Manna, Zohar, та інші
Опубліковано: (1985)
за авторством: Manna, Zohar, та інші
Опубліковано: (1985)
Introduction to mathematical logic
за авторством: Mendelson, Elliott
Опубліковано: (1964)
за авторством: Mendelson, Elliott
Опубліковано: (1964)
Схожі ресурси
-
An algebraic introduction to mathematical logic
за авторством: Barnes, Donald W, та інші
Опубліковано: (1975) -
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) -
Lógica simbólica para informáticos
за авторством: Iranzo, Pascual Julián
Опубліковано: (2005)