Logic colloquium
Sábháilte in:
| Príomhchruthaitheoir: | |
|---|---|
| Formáid: | LEABHAR |
| Teanga: | Béarla |
| Foilsithe / Cruthaithe: |
Berlín
Springer-Verlag
1975
|
| Sraith: | Lecture Notes in Mathematics, 453
|
| Ábhair: | |
| Clibeanna: |
Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
Míreanna comhchosúla
Popular lectures on mathematical logic
de réir: Wang, Hao
Foilsithe / Cruthaithe: (1993)
de réir: Wang, Hao
Foilsithe / Cruthaithe: (1993)
Introducción al simbolismo lógico
de réir: Bosch, Jorge E
Foilsithe / Cruthaithe: (1970)
de réir: Bosch, Jorge E
Foilsithe / Cruthaithe: (1970)
Lógica simbólica para informáticos
de réir: Iranzo, Pascual Julián
Foilsithe / Cruthaithe: (2005)
de réir: Iranzo, Pascual Julián
Foilsithe / Cruthaithe: (2005)
Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
de réir: Ledesma, Luis de
Foilsithe / Cruthaithe: (2010)
de réir: Ledesma, Luis de
Foilsithe / Cruthaithe: (2010)
Lógica para informáticos
de réir: Farré Cirera, Rafel, et al.
Foilsithe / Cruthaithe: (2012)
de réir: Farré Cirera, Rafel, et al.
Foilsithe / Cruthaithe: (2012)
Pruebas y refutaciones: la lógica del descubrimiento matemático
de réir: Lakatos, Imre
Foilsithe / Cruthaithe: (1982)
de réir: Lakatos, Imre
Foilsithe / Cruthaithe: (1982)
Methods in mathematical logic
de réir: Prisco, C. A. di
Foilsithe / Cruthaithe: (1985)
de réir: Prisco, C. A. di
Foilsithe / Cruthaithe: (1985)
Algebra and logic
de réir: Crossley, J. N
Foilsithe / Cruthaithe: (1975)
de réir: Crossley, J. N
Foilsithe / Cruthaithe: (1975)
La logique à l'école
de réir: Glaymann, Maurice, et al.
Foilsithe / Cruthaithe: (1972)
de réir: Glaymann, Maurice, et al.
Foilsithe / Cruthaithe: (1972)
An introduction to Hilbert space and quantum logic
de réir: Cohen, David W
Foilsithe / Cruthaithe: (1989)
de réir: Cohen, David W
Foilsithe / Cruthaithe: (1989)
Modal logics
de réir: Feys, Robert
Foilsithe / Cruthaithe: (1965)
de réir: Feys, Robert
Foilsithe / Cruthaithe: (1965)
Lógica matemática.
de réir: Ferrater Mora, José
Foilsithe / Cruthaithe: (1962)
de réir: Ferrater Mora, José
Foilsithe / Cruthaithe: (1962)
Introducción al simbolismo lógico
de réir: Bosch, Jorge E
Foilsithe / Cruthaithe: (1981)
de réir: Bosch, Jorge E
Foilsithe / Cruthaithe: (1981)
Introduction to mathematical logic
de réir: Mendelson, Elliott
Foilsithe / Cruthaithe: (1997)
de réir: Mendelson, Elliott
Foilsithe / Cruthaithe: (1997)
La structure algébrique des théories mathématiques
de réir: Henkin, Leon
Foilsithe / Cruthaithe: (1956)
de réir: Henkin, Leon
Foilsithe / Cruthaithe: (1956)
A course in mathematical logic
de réir: Manin, Yuri Ivanovich
Foilsithe / Cruthaithe: (1977)
de réir: Manin, Yuri Ivanovich
Foilsithe / Cruthaithe: (1977)
Sur les algèbres de Hilbert
de réir: Diego, Antonio
Foilsithe / Cruthaithe: (1966)
de réir: Diego, Antonio
Foilsithe / Cruthaithe: (1966)
La lógica simbólica
de réir: Agazzi, Evandro
Foilsithe / Cruthaithe: (1986)
de réir: Agazzi, Evandro
Foilsithe / Cruthaithe: (1986)
An algebraic introduction to mathematical logic
de réir: Barnes, Donald W, et al.
Foilsithe / Cruthaithe: (1975)
de réir: Barnes, Donald W, et al.
Foilsithe / Cruthaithe: (1975)
Teaching mathematical reasoning in secondary school classrooms
de réir: Brodie, Karin
Foilsithe / Cruthaithe: (2010)
de réir: Brodie, Karin
Foilsithe / Cruthaithe: (2010)
Mathematical Logic
de réir: Monk, James Donald
Foilsithe / Cruthaithe: (1976)
de réir: Monk, James Donald
Foilsithe / Cruthaithe: (1976)
Symbolic logic and language: a programmed text
de réir: Dickoff, James, et al.
Foilsithe / Cruthaithe: (1965)
de réir: Dickoff, James, et al.
Foilsithe / Cruthaithe: (1965)
Lógica formal: su alcance y sus límites.
de réir: Jeffrey, Richard C.
Foilsithe / Cruthaithe: (1986)
de réir: Jeffrey, Richard C.
Foilsithe / Cruthaithe: (1986)
Eléments de logique mathématique: théorie des modèles
de réir: Kreisel, G, et al.
Foilsithe / Cruthaithe: (1966)
de réir: Kreisel, G, et al.
Foilsithe / Cruthaithe: (1966)
Los fundamentos de la matemática y otros ensayos sobre lógica
de réir: Ramsey, Frank Plumpton
Foilsithe / Cruthaithe: (1968)
de réir: Ramsey, Frank Plumpton
Foilsithe / Cruthaithe: (1968)
The grammar of mathematics
de réir: Durst, Lincoln K
Foilsithe / Cruthaithe: (1969)
de réir: Durst, Lincoln K
Foilsithe / Cruthaithe: (1969)
Introduction to mathematical logic
de réir: Mendelson, Elliott
Foilsithe / Cruthaithe: (1964)
de réir: Mendelson, Elliott
Foilsithe / Cruthaithe: (1964)
Lógica combinatoria
de réir: Curry, Haskell B, et al.
Foilsithe / Cruthaithe: (1967)
de réir: Curry, Haskell B, et al.
Foilsithe / Cruthaithe: (1967)
The logical basis for computer programming
de réir: Manna, Zohar, et al.
Foilsithe / Cruthaithe: (1985)
de réir: Manna, Zohar, et al.
Foilsithe / Cruthaithe: (1985)
Manual de lógica para estudiantes de matemáticas
de réir: Zubieta Russi, Gonzalo
Foilsithe / Cruthaithe: (1971)
de réir: Zubieta Russi, Gonzalo
Foilsithe / Cruthaithe: (1971)
Introduction a la logique mathématique
de réir: Novikov, P. S. (Petr Sergeevich)
Foilsithe / Cruthaithe: (1964)
de réir: Novikov, P. S. (Petr Sergeevich)
Foilsithe / Cruthaithe: (1964)
Lógica simbólica: una breve introducción
de réir: Gómez Calderón, Javier
Foilsithe / Cruthaithe: (1979)
de réir: Gómez Calderón, Javier
Foilsithe / Cruthaithe: (1979)
Lógica, lingüística y matemáticas
de réir: Serrano, Sebastián
Foilsithe / Cruthaithe: (1977)
de réir: Serrano, Sebastián
Foilsithe / Cruthaithe: (1977)
Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
Foilsithe / Cruthaithe: (1965)
Foilsithe / Cruthaithe: (1965)
Studies in foundations and combinatorics
de réir: Rota, Gian-Carlo
Foilsithe / Cruthaithe: (1978)
de réir: Rota, Gian-Carlo
Foilsithe / Cruthaithe: (1978)
Lógica para lingüistas
de réir: Allwood, Jens, et al.
Foilsithe / Cruthaithe: (1981)
de réir: Allwood, Jens, et al.
Foilsithe / Cruthaithe: (1981)
Lógica simbólica
de réir: Hegenberg, Leónidas
Foilsithe / Cruthaithe: (1966)
de réir: Hegenberg, Leónidas
Foilsithe / Cruthaithe: (1966)
Tableau systems for first order number theory and certain higher order theories
de réir: Toledo, Sue
Foilsithe / Cruthaithe: (1975)
de réir: Toledo, Sue
Foilsithe / Cruthaithe: (1975)
Introduction to Mathematical Logic
de réir: Dinkines, Flora
Foilsithe / Cruthaithe: (1964)
de réir: Dinkines, Flora
Foilsithe / Cruthaithe: (1964)
Mathematical logic
de réir: Shoenfield, Joseph R
Foilsithe / Cruthaithe: (1967)
de réir: Shoenfield, Joseph R
Foilsithe / Cruthaithe: (1967)