Eléments de logique mathématique: théorie des modèles
שמור ב:
| Main Authors: | , |
|---|---|
| פורמט: | ספר |
| שפה: | צרפתית |
| יצא לאור: |
París
Dunod
1966
|
| סדרה: | Monographies de la Société Mathématique de France, 3
|
| נושאים: | |
| תגים: |
הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
פריטים דומים
Mathematical Logic
מאת: Monk, James Donald
יצא לאור: (1976)
מאת: Monk, James Donald
יצא לאור: (1976)
La logique à l'école
מאת: Glaymann, Maurice, et al.
יצא לאור: (1972)
מאת: Glaymann, Maurice, et al.
יצא לאור: (1972)
La structure algébrique des théories mathématiques
מאת: Henkin, Leon
יצא לאור: (1956)
מאת: Henkin, Leon
יצא לאור: (1956)
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)
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)
Logic colloquium
מאת: Parikh, Rohit
יצא לאור: (1975)
מאת: Parikh, Rohit
יצא לאור: (1975)
Lógica para informáticos
מאת: Farré Cirera, Rafel, et al.
יצא לאור: (2012)
מאת: Farré Cirera, Rafel, et al.
יצא לאור: (2012)
Introduction a la logique mathématique
מאת: Novikov, P. S. (Petr Sergeevich)
יצא לאור: (1964)
מאת: Novikov, P. S. (Petr Sergeevich)
יצא לאור: (1964)
Pruebas y refutaciones: la lógica del descubrimiento matemático
מאת: Lakatos, Imre
יצא לאור: (1982)
מאת: Lakatos, Imre
יצא לאור: (1982)
First order categorial logic: model-theoretical methods in theory of topoi and related categories
מאת: Makkai, Michael, et al.
יצא לאור: (1977)
מאת: Makkai, Michael, et al.
יצא לאור: (1977)
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)
Sur les algèbres de Hilbert
מאת: Diego, Antonio
יצא לאור: (1966)
מאת: Diego, Antonio
יצא לאור: (1966)
La lógica simbólica
מאת: Agazzi, Evandro
יצא לאור: (1986)
מאת: Agazzi, Evandro
יצא לאור: (1986)
Teaching mathematical reasoning in secondary school classrooms
מאת: Brodie, Karin
יצא לאור: (2010)
מאת: Brodie, Karin
יצא לאור: (2010)
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)
Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
יצא לאור: (1965)
יצא לאור: (1965)
Lógica formal: su alcance y sus límites.
מאת: Jeffrey, Richard C.
יצא לאור: (1986)
מאת: Jeffrey, Richard C.
יצא לאור: (1986)
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)
The grammar of mathematics
מאת: Durst, Lincoln K
יצא לאור: (1969)
מאת: Durst, Lincoln K
יצא לאור: (1969)
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 combinatoria
מאת: Curry, Haskell B, et al.
יצא לאור: (1967)
מאת: Curry, Haskell B, et al.
יצא לאור: (1967)
Modal logics
מאת: Feys, Robert
יצא לאור: (1965)
מאת: Feys, Robert
יצא לאור: (1965)
Manual de lógica para estudiantes de matemáticas
מאת: Zubieta Russi, Gonzalo
יצא לאור: (1971)
מאת: Zubieta Russi, Gonzalo
יצא לאור: (1971)
Lógica simbólica: una breve introducción
מאת: Gómez Calderón, Javier
יצא לאור: (1979)
מאת: Gómez Calderón, Javier
יצא לאור: (1979)
An algebraic introduction to mathematical logic
מאת: Barnes, Donald W, et al.
יצא לאור: (1975)
מאת: Barnes, Donald W, et al.
יצא לאור: (1975)
Symbolic logic and language: a programmed text
מאת: Dickoff, James, et al.
יצא לאור: (1965)
מאת: Dickoff, James, et al.
יצא לאור: (1965)
Lógica, lingüística y matemáticas
מאת: Serrano, Sebastián
יצא לאור: (1977)
מאת: Serrano, Sebastián
יצא לאור: (1977)
Studies in foundations and combinatorics
מאת: Rota, Gian-Carlo
יצא לאור: (1978)
מאת: Rota, Gian-Carlo
יצא לאור: (1978)
Tableau systems for first order number theory and certain higher order theories
מאת: Toledo, Sue
יצא לאור: (1975)
מאת: Toledo, Sue
יצא לאור: (1975)
Elements de la théorie mathématique des jeux
מאת: Guilbaud, G. T
יצא לאור: (1968)
מאת: Guilbaud, G. T
יצא לאור: (1968)