類似資料
Los fundamentos de la matemática y otros ensayos sobre lógica
著者:: Ramsey, Frank Plumpton
出版事項: (1968)
著者:: Ramsey, Frank Plumpton
出版事項: (1968)
Lógica simbólica para informáticos
著者:: Iranzo, Pascual Julián
出版事項: (2005)
著者:: Iranzo, Pascual Julián
出版事項: (2005)
Pruebas y refutaciones: la lógica del descubrimiento matemático
著者:: Lakatos, Imre
出版事項: (1982)
著者:: Lakatos, Imre
出版事項: (1982)
Lógica para informáticos
著者:: Farré Cirera, Rafel, 等
出版事項: (2012)
著者:: Farré Cirera, Rafel, 等
出版事項: (2012)
Lógica matemática.
著者:: Ferrater Mora, José
出版事項: (1962)
著者:: Ferrater Mora, José
出版事項: (1962)
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)
Lógica combinatoria
著者:: Curry, Haskell B, 等
出版事項: (1967)
著者:: Curry, Haskell B, 等
出版事項: (1967)
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)
Logic colloquium
著者:: Parikh, Rohit
出版事項: (1975)
著者:: Parikh, Rohit
出版事項: (1975)
La prueba de Gödel
著者:: Nagel, Ernest
出版事項: (1959)
著者:: Nagel, Ernest
出版事項: (1959)
La structure algébrique des théories mathématiques
著者:: Henkin, Leon
出版事項: (1956)
著者:: Henkin, Leon
出版事項: (1956)
Gôdel's proof
著者:: Nagel, Ernest, 等
出版事項: (1958)
著者:: Nagel, Ernest, 等
出版事項: (1958)
Lógica simbólica: una breve introducción
著者:: Gómez Calderón, Javier
出版事項: (1979)
著者:: Gómez Calderón, Javier
出版事項: (1979)
La logique à l'école
著者:: Glaymann, Maurice, 等
出版事項: (1972)
著者:: Glaymann, Maurice, 等
出版事項: (1972)
Modal logics
著者:: Feys, Robert
出版事項: (1965)
著者:: Feys, Robert
出版事項: (1965)
Lógica simbólica
著者:: Hegenberg, Leónidas
出版事項: (1966)
著者:: Hegenberg, Leónidas
出版事項: (1966)
Introducción al simbolismo lógico
著者:: Bosch, Jorge E
出版事項: (1981)
著者:: Bosch, Jorge E
出版事項: (1981)
Sur les algèbres de Hilbert
著者:: Diego, Antonio
出版事項: (1966)
著者:: Diego, Antonio
出版事項: (1966)
Manual de lógica para estudiantes de matemáticas
著者:: Zubieta Russi, Gonzalo
出版事項: (1971)
著者:: Zubieta Russi, Gonzalo
出版事項: (1971)
Lógica formal: su alcance y sus límites.
著者:: Jeffrey, Richard C.
出版事項: (1986)
著者:: Jeffrey, Richard C.
出版事項: (1986)
Introducción a la lógica y al método científico
著者:: Cohen, M, 等
出版事項: (1971)
著者:: Cohen, M, 等
出版事項: (1971)
Introducción a la lógica y al método científico
著者:: Cohen, Morris Raphael
出版事項: (1973)
著者:: Cohen, Morris Raphael
出版事項: (1973)
Teaching mathematical reasoning in secondary school classrooms
著者:: Brodie, Karin
出版事項: (2010)
著者:: Brodie, Karin
出版事項: (2010)
Lecons de logique formelle
著者:: Dopp, Joseph
出版事項: (1950)
著者:: Dopp, Joseph
出版事項: (1950)
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)
Lógica, lingüística y matemáticas
著者:: Serrano, Sebastián
出版事項: (1977)
著者:: Serrano, Sebastián
出版事項: (1977)
An algebraic introduction to mathematical logic
著者:: Barnes, Donald W, 等
出版事項: (1975)
著者:: Barnes, Donald W, 等
出版事項: (1975)
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)
The grammar of mathematics
著者:: Durst, Lincoln K
出版事項: (1969)
著者:: Durst, Lincoln K
出版事項: (1969)
Lógica formal, lógica dialéctica
著者:: Lefebvre, Henri
出版事項: (1970)
著者:: Lefebvre, Henri
出版事項: (1970)
Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
出版事項: (1965)
出版事項: (1965)
Lógica para lingüistas
著者:: Allwood, Jens, 等
出版事項: (1981)
著者:: Allwood, Jens, 等
出版事項: (1981)
A course in mathematical logic
著者:: Manin, Yuri Ivanovich
出版事項: (1977)
著者:: Manin, Yuri Ivanovich
出版事項: (1977)
Introduction to mathematical logic
著者:: Mendelson, Elliott
出版事項: (1997)
著者:: Mendelson, Elliott
出版事項: (1997)
Introduction a la logique mathématique
著者:: Novikov, P. S. (Petr Sergeevich)
出版事項: (1964)
著者:: Novikov, P. S. (Petr Sergeevich)
出版事項: (1964)
Lógica formal, lógica dialéctica
著者:: Lefebvre, Henri
出版事項: (2013)
著者:: Lefebvre, Henri
出版事項: (2013)
Symbolic logic and language: a programmed text
著者:: Dickoff, James, 等
出版事項: (1965)
著者:: Dickoff, James, 等
出版事項: (1965)