La structure algébrique des théories mathématiques
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | francouzština |
| Vydáno: |
París
Gauther-Villars
1956
|
| Edice: | Collection de Logique Mathématique, 9
|
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky
Pruebas y refutaciones: la lógica del descubrimiento matemático
Autor: Lakatos, Imre
Vydáno: (1982)
Autor: Lakatos, Imre
Vydáno: (1982)
Languages with expressions of infinite length
Autor: Karp, Carol R
Vydáno: (1964)
Autor: Karp, Carol R
Vydáno: (1964)
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)
Introducción al simbolismo lógico
Autor: Bosch, Jorge E
Vydáno: (1970)
Autor: Bosch, Jorge E
Vydáno: (1970)
Popular lectures on mathematical logic
Autor: Wang, Hao
Vydáno: (1993)
Autor: Wang, Hao
Vydáno: (1993)
Lógica simbólica para informáticos
Autor: Iranzo, Pascual Julián
Vydáno: (2005)
Autor: Iranzo, Pascual Julián
Vydáno: (2005)
Logic colloquium
Autor: Parikh, Rohit
Vydáno: (1975)
Autor: Parikh, Rohit
Vydáno: (1975)
Lógica para informáticos
Autor: Farré Cirera, Rafel, a další
Vydáno: (2012)
Autor: Farré Cirera, Rafel, a další
Vydáno: (2012)
Lógica matemática.
Autor: Ferrater Mora, José
Vydáno: (1962)
Autor: Ferrater Mora, José
Vydáno: (1962)
La lógica simbólica
Autor: Agazzi, Evandro
Vydáno: (1986)
Autor: Agazzi, Evandro
Vydáno: (1986)
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)
La logique à l'école
Autor: Glaymann, Maurice, a další
Vydáno: (1972)
Autor: Glaymann, Maurice, a další
Vydáno: (1972)
Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
Vydáno: (1965)
Vydáno: (1965)
Introducción al simbolismo lógico
Autor: Bosch, Jorge E
Vydáno: (1981)
Autor: Bosch, Jorge E
Vydáno: (1981)
Algebra and logic
Autor: Crossley, J. N
Vydáno: (1975)
Autor: Crossley, J. N
Vydáno: (1975)
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)
Sur les algèbres de Hilbert
Autor: Diego, Antonio
Vydáno: (1966)
Autor: Diego, Antonio
Vydáno: (1966)
Teaching mathematical reasoning in secondary school classrooms
Autor: Brodie, Karin
Vydáno: (2010)
Autor: Brodie, Karin
Vydáno: (2010)
Introduction a la logique mathématique
Autor: Novikov, P. S. (Petr Sergeevich)
Vydáno: (1964)
Autor: Novikov, P. S. (Petr Sergeevich)
Vydáno: (1964)
Manual de lógica para estudiantes de matemáticas
Autor: Zubieta Russi, Gonzalo
Vydáno: (1971)
Autor: Zubieta Russi, Gonzalo
Vydáno: (1971)
An introduction to Hilbert space and quantum logic
Autor: Cohen, David W
Vydáno: (1989)
Autor: Cohen, David W
Vydáno: (1989)
Methods in mathematical logic
Autor: Prisco, C. A. di
Vydáno: (1985)
Autor: Prisco, C. A. di
Vydáno: (1985)
Matemáticas discretas: con teoría de gráficas y combinatoria
Autor: Veerarajan, T
Vydáno: (2008)
Autor: Veerarajan, T
Vydáno: (2008)
An algebraic introduction to mathematical logic
Autor: Barnes, Donald W, a další
Vydáno: (1975)
Autor: Barnes, Donald W, a další
Vydáno: (1975)
The grammar of mathematics
Autor: Durst, Lincoln K
Vydáno: (1969)
Autor: Durst, Lincoln K
Vydáno: (1969)
Studies in foundations and combinatorics
Autor: Rota, Gian-Carlo
Vydáno: (1978)
Autor: Rota, Gian-Carlo
Vydáno: (1978)
A course in mathematical logic
Autor: Manin, Yuri Ivanovich
Vydáno: (1977)
Autor: Manin, Yuri Ivanovich
Vydáno: (1977)
Introduction to mathematical logic
Autor: Mendelson, Elliott
Vydáno: (1997)
Autor: Mendelson, Elliott
Vydáno: (1997)
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)
Modal logics
Autor: Feys, Robert
Vydáno: (1965)
Autor: Feys, Robert
Vydáno: (1965)
Boolean algebras
Autor: Sikorski, Roman
Vydáno: (1969)
Autor: Sikorski, Roman
Vydáno: (1969)
Symbolic logic and language: a programmed text
Autor: Dickoff, James, a další
Vydáno: (1965)
Autor: Dickoff, James, a další
Vydáno: (1965)
Logic, computers, and sets
Autor: Wang, Hao
Vydáno: (1970)
Autor: Wang, Hao
Vydáno: (1970)
Matemática discreta
Autor: García Gómez, Carlos, a další
Vydáno: (2002)
Autor: García Gómez, Carlos, a další
Vydáno: (2002)
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)