Sur les algèbres de Hilbert
Kaydedildi:
| Yazar: | Diego, Antonio (Yazar) |
|---|---|
| Materyal Türü: | Kitap |
| Dil: | Fransızca |
| Baskı/Yayın Bilgisi: |
París
Gauther-Villars
1966
|
| Seri Bilgileri: | Collection de Logique Mathématique, 21
|
| Konular: | |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
Benzer Materyaller
An algebraic introduction to mathematical logic
Yazar:: Barnes, Donald W, ve diğerleri
Baskı/Yayın Bilgisi: (1975)
Yazar:: Barnes, Donald W, ve diğerleri
Baskı/Yayın Bilgisi: (1975)
Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
Yazar:: Ledesma, Luis de
Baskı/Yayın Bilgisi: (2010)
Yazar:: Ledesma, Luis de
Baskı/Yayın Bilgisi: (2010)
Introducción al simbolismo lógico
Yazar:: Bosch, Jorge E
Baskı/Yayın Bilgisi: (1970)
Yazar:: Bosch, Jorge E
Baskı/Yayın Bilgisi: (1970)
Popular lectures on mathematical logic
Yazar:: Wang, Hao
Baskı/Yayın Bilgisi: (1993)
Yazar:: Wang, Hao
Baskı/Yayın Bilgisi: (1993)
Lógica simbólica para informáticos
Yazar:: Iranzo, Pascual Julián
Baskı/Yayın Bilgisi: (2005)
Yazar:: Iranzo, Pascual Julián
Baskı/Yayın Bilgisi: (2005)
Logic colloquium
Yazar:: Parikh, Rohit
Baskı/Yayın Bilgisi: (1975)
Yazar:: Parikh, Rohit
Baskı/Yayın Bilgisi: (1975)
Lógica para informáticos
Yazar:: Farré Cirera, Rafel, ve diğerleri
Baskı/Yayın Bilgisi: (2012)
Yazar:: Farré Cirera, Rafel, ve diğerleri
Baskı/Yayın Bilgisi: (2012)
An introduction to Hilbert space and quantum logic
Yazar:: Cohen, David W
Baskı/Yayın Bilgisi: (1989)
Yazar:: Cohen, David W
Baskı/Yayın Bilgisi: (1989)
Pruebas y refutaciones: la lógica del descubrimiento matemático
Yazar:: Lakatos, Imre
Baskı/Yayın Bilgisi: (1982)
Yazar:: Lakatos, Imre
Baskı/Yayın Bilgisi: (1982)
Methods in mathematical logic
Yazar:: Prisco, C. A. di
Baskı/Yayın Bilgisi: (1985)
Yazar:: Prisco, C. A. di
Baskı/Yayın Bilgisi: (1985)
La logique à l'école
Yazar:: Glaymann, Maurice, ve diğerleri
Baskı/Yayın Bilgisi: (1972)
Yazar:: Glaymann, Maurice, ve diğerleri
Baskı/Yayın Bilgisi: (1972)
Introducción al simbolismo lógico
Yazar:: Bosch, Jorge E
Baskı/Yayın Bilgisi: (1981)
Yazar:: Bosch, Jorge E
Baskı/Yayın Bilgisi: (1981)
Lógica matemática.
Yazar:: Ferrater Mora, José
Baskı/Yayın Bilgisi: (1962)
Yazar:: Ferrater Mora, José
Baskı/Yayın Bilgisi: (1962)
La structure algébrique des théories mathématiques
Yazar:: Henkin, Leon
Baskı/Yayın Bilgisi: (1956)
Yazar:: Henkin, Leon
Baskı/Yayın Bilgisi: (1956)
La lógica simbólica
Yazar:: Agazzi, Evandro
Baskı/Yayın Bilgisi: (1986)
Yazar:: Agazzi, Evandro
Baskı/Yayın Bilgisi: (1986)
Teaching mathematical reasoning in secondary school classrooms
Yazar:: Brodie, Karin
Baskı/Yayın Bilgisi: (2010)
Yazar:: Brodie, Karin
Baskı/Yayın Bilgisi: (2010)
Lógica formal: su alcance y sus límites.
Yazar:: Jeffrey, Richard C.
Baskı/Yayın Bilgisi: (1986)
Yazar:: Jeffrey, Richard C.
Baskı/Yayın Bilgisi: (1986)
Eléments de logique mathématique: théorie des modèles
Yazar:: Kreisel, G, ve diğerleri
Baskı/Yayın Bilgisi: (1966)
Yazar:: Kreisel, G, ve diğerleri
Baskı/Yayın Bilgisi: (1966)
Algebra and logic
Yazar:: Crossley, J. N
Baskı/Yayın Bilgisi: (1975)
Yazar:: Crossley, J. N
Baskı/Yayın Bilgisi: (1975)
Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
Baskı/Yayın Bilgisi: (1965)
Baskı/Yayın Bilgisi: (1965)
Los fundamentos de la matemática y otros ensayos sobre lógica
Yazar:: Ramsey, Frank Plumpton
Baskı/Yayın Bilgisi: (1968)
Yazar:: Ramsey, Frank Plumpton
Baskı/Yayın Bilgisi: (1968)
The grammar of mathematics
Yazar:: Durst, Lincoln K
Baskı/Yayın Bilgisi: (1969)
Yazar:: Durst, Lincoln K
Baskı/Yayın Bilgisi: (1969)
Lógica combinatoria
Yazar:: Curry, Haskell B, ve diğerleri
Baskı/Yayın Bilgisi: (1967)
Yazar:: Curry, Haskell B, ve diğerleri
Baskı/Yayın Bilgisi: (1967)
Modal logics
Yazar:: Feys, Robert
Baskı/Yayın Bilgisi: (1965)
Yazar:: Feys, Robert
Baskı/Yayın Bilgisi: (1965)
A course in mathematical logic
Yazar:: Manin, Yuri Ivanovich
Baskı/Yayın Bilgisi: (1977)
Yazar:: Manin, Yuri Ivanovich
Baskı/Yayın Bilgisi: (1977)
Lógica simbólica: una breve introducción
Yazar:: Gómez Calderón, Javier
Baskı/Yayın Bilgisi: (1979)
Yazar:: Gómez Calderón, Javier
Baskı/Yayın Bilgisi: (1979)
Introduction a la logique mathématique
Yazar:: Novikov, P. S. (Petr Sergeevich)
Baskı/Yayın Bilgisi: (1964)
Yazar:: Novikov, P. S. (Petr Sergeevich)
Baskı/Yayın Bilgisi: (1964)
Introduction to mathematical logic
Yazar:: Mendelson, Elliott
Baskı/Yayın Bilgisi: (1997)
Yazar:: Mendelson, Elliott
Baskı/Yayın Bilgisi: (1997)
Algebraic logic
Yazar:: Halmos, Paul Richard
Baskı/Yayın Bilgisi: (1962)
Yazar:: Halmos, Paul Richard
Baskı/Yayın Bilgisi: (1962)
Manual de lógica para estudiantes de matemáticas
Yazar:: Zubieta Russi, Gonzalo
Baskı/Yayın Bilgisi: (1971)
Yazar:: Zubieta Russi, Gonzalo
Baskı/Yayın Bilgisi: (1971)
Symbolic logic and language: a programmed text
Yazar:: Dickoff, James, ve diğerleri
Baskı/Yayın Bilgisi: (1965)
Yazar:: Dickoff, James, ve diğerleri
Baskı/Yayın Bilgisi: (1965)
Lógica, lingüística y matemáticas
Yazar:: Serrano, Sebastián
Baskı/Yayın Bilgisi: (1977)
Yazar:: Serrano, Sebastián
Baskı/Yayın Bilgisi: (1977)
Mathematical Logic
Yazar:: Monk, James Donald
Baskı/Yayın Bilgisi: (1976)
Yazar:: Monk, James Donald
Baskı/Yayın Bilgisi: (1976)
Théorie structurelle des automates finis
Yazar:: Moisil, Grigore C.
Baskı/Yayın Bilgisi: (1967)
Yazar:: Moisil, Grigore C.
Baskı/Yayın Bilgisi: (1967)
Studies in foundations and combinatorics
Yazar:: Rota, Gian-Carlo
Baskı/Yayın Bilgisi: (1978)
Yazar:: Rota, Gian-Carlo
Baskı/Yayın Bilgisi: (1978)
Lógica para lingüistas
Yazar:: Allwood, Jens, ve diğerleri
Baskı/Yayın Bilgisi: (1981)
Yazar:: Allwood, Jens, ve diğerleri
Baskı/Yayın Bilgisi: (1981)
Ordinal algebras
Yazar:: Tarski, Alfred
Baskı/Yayın Bilgisi: (1956)
Yazar:: Tarski, Alfred
Baskı/Yayın Bilgisi: (1956)
Lógica simbólica
Yazar:: Hegenberg, Leónidas
Baskı/Yayın Bilgisi: (1966)
Yazar:: Hegenberg, Leónidas
Baskı/Yayın Bilgisi: (1966)
The logical basis for computer programming
Yazar:: Manna, Zohar, ve diğerleri
Baskı/Yayın Bilgisi: (1985)
Yazar:: Manna, Zohar, ve diğerleri
Baskı/Yayın Bilgisi: (1985)
Introduction to mathematical logic
Yazar:: Mendelson, Elliott
Baskı/Yayın Bilgisi: (1964)
Yazar:: Mendelson, Elliott
Baskı/Yayın Bilgisi: (1964)
Benzer Materyaller
-
An algebraic introduction to mathematical logic
Yazar:: Barnes, Donald W, ve diğerleri
Baskı/Yayın Bilgisi: (1975) -
Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
Yazar:: Ledesma, Luis de
Baskı/Yayın Bilgisi: (2010) -
Introducción al simbolismo lógico
Yazar:: Bosch, Jorge E
Baskı/Yayın Bilgisi: (1970) -
Popular lectures on mathematical logic
Yazar:: Wang, Hao
Baskı/Yayın Bilgisi: (1993) -
Lógica simbólica para informáticos
Yazar:: Iranzo, Pascual Julián
Baskı/Yayın Bilgisi: (2005)