The logical basis for computer programming
שמור ב:
| Main Authors: | , |
|---|---|
| פורמט: | ספר |
| שפה: | אנגלית |
| יצא לאור: |
Reading
Addison-Wesley Publishing Company
1985
|
| נושאים: | |
| תגים: |
הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
פריטים דומים
Elements of mathematical logic
מאת: Novikov, P. S. (Petr Sergeevich)
יצא לאור: (1964)
מאת: Novikov, P. S. (Petr Sergeevich)
יצא לאור: (1964)
Initiation au raisonnement deductif au college: une suite de situations permettant l`appropriation des regles du debat mathematique
מאת: Arsac, Gilbert, et al.
יצא לאור: (1992)
מאת: Arsac, Gilbert, et al.
יצא לאור: (1992)
Lógica simbólica: una breve introducción
מאת: Gómez Calderón, Javier
יצא לאור: (1979)
מאת: Gómez Calderón, Javier
יצא לאור: (1979)
Introduction a la logique mathématique
מאת: Novikov, P. S. (Petr Sergeevich)
יצא לאור: (1964)
מאת: Novikov, P. S. (Petr Sergeevich)
יצא לאור: (1964)
Primer curso de lógica matemática
מאת: Suppes, Patrick, et al.
יצא לאור: (1968)
מאת: Suppes, Patrick, et al.
יצא לאור: (1968)
Logic colloquium
מאת: Parikh, Rohit
יצא לאור: (1975)
מאת: Parikh, Rohit
יצא לאור: (1975)
Popular lectures on mathematical logic
מאת: Wang, Hao
יצא לאור: (1993)
מאת: Wang, Hao
יצא לאור: (1993)
Introducción al simbolismo lógico
מאת: Bosch, Jorge E
יצא לאור: (1970)
מאת: Bosch, Jorge E
יצא לאור: (1970)
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)
Lógica para informáticos
מאת: Farré Cirera, Rafel, et al.
יצא לאור: (2012)
מאת: Farré Cirera, Rafel, et al.
יצא לאור: (2012)
Inference and understanding: a philosophical and phychological perspective
מאת: Manktelow, K. L., et al.
יצא לאור: (1990)
מאת: Manktelow, K. L., et al.
יצא לאור: (1990)
Introduction to mathematical logic
מאת: Mendelson, Elliott
יצא לאור: (1964)
מאת: Mendelson, Elliott
יצא לאור: (1964)
Pruebas y refutaciones: la lógica del descubrimiento matemático
מאת: Lakatos, Imre
יצא לאור: (1982)
מאת: Lakatos, Imre
יצא לאור: (1982)
Methods in mathematical logic
מאת: Prisco, C. A. di
יצא לאור: (1985)
מאת: Prisco, C. A. di
יצא לאור: (1985)
Algebra and logic
מאת: Crossley, J. N
יצא לאור: (1975)
מאת: Crossley, J. N
יצא לאור: (1975)
An introduction to Hilbert space and quantum logic
מאת: Cohen, David W
יצא לאור: (1989)
מאת: Cohen, David W
יצא לאור: (1989)
La logique à l'école
מאת: Glaymann, Maurice, et al.
יצא לאור: (1972)
מאת: Glaymann, Maurice, et al.
יצא לאור: (1972)
Ideas para profesionales que piensan: nuevas consideraciones sobre el pensamiento lateral aplicadas a la empresa
מאת: Bono, Edward de
יצא לאור: (2004)
מאת: Bono, Edward de
יצא לאור: (2004)
Ideas para profesionales que piensan. Nuevas consideraciones sobre el pensamiento lateral aplicadas a la empresa.
מאת: Bono, Edward de
יצא לאור: (2016)
מאת: Bono, Edward de
יצא לאור: (2016)
Modal logics
מאת: Feys, Robert
יצא לאור: (1965)
מאת: Feys, Robert
יצא לאור: (1965)
Manual de psicología del pensamiento: pensar y razonar
מאת: Garnham, Alan, et al.
יצא לאור: (1996)
מאת: Garnham, Alan, et al.
יצא לאור: (1996)
Sur les algèbres de Hilbert
מאת: Diego, Antonio
יצא לאור: (1966)
מאת: Diego, Antonio
יצא לאור: (1966)
Introducción al simbolismo lógico
מאת: Bosch, Jorge E
יצא לאור: (1981)
מאת: Bosch, Jorge E
יצא לאור: (1981)
Introduction to logic
מאת: Copi, Irving M, et al.
יצא לאור: (2014)
מאת: Copi, Irving M, et al.
יצא לאור: (2014)
Lógica formal: su alcance y sus límites.
מאת: Jeffrey, Richard C.
יצא לאור: (1986)
מאת: Jeffrey, Richard C.
יצא לאור: (1986)
Logic and reasoning in mathematics
מאת: Johnson, Donovan A
יצא לאור: (1963)
מאת: Johnson, Donovan A
יצא לאור: (1963)
La lógica simbólica
מאת: Agazzi, Evandro
יצא לאור: (1986)
מאת: Agazzi, Evandro
יצא לאור: (1986)
Symbolic logic and language: a programmed text
מאת: Dickoff, James, et al.
יצא לאור: (1965)
מאת: Dickoff, James, et al.
יצא לאור: (1965)
Introduction to mathematical logic
מאת: Mendelson, Elliott
יצא לאור: (1997)
מאת: Mendelson, Elliott
יצא לאור: (1997)
La structure algébrique des théories mathématiques
מאת: Henkin, Leon
יצא לאור: (1956)
מאת: Henkin, Leon
יצא לאור: (1956)
Lógica matemática.
מאת: Ferrater Mora, José
יצא לאור: (1962)
מאת: Ferrater Mora, José
יצא לאור: (1962)
Lógica simbólica
מאת: Hegenberg, Leónidas
יצא לאור: (1966)
מאת: Hegenberg, Leónidas
יצא לאור: (1966)
A course in mathematical logic
מאת: Manin, Yuri Ivanovich
יצא לאור: (1977)
מאת: Manin, Yuri Ivanovich
יצא לאור: (1977)
Ejercicios de lógica
מאת: Moreno, Alberto
יצא לאור: (1970)
מאת: Moreno, Alberto
יצא לאור: (1970)
Mathematical Logic
מאת: Monk, James Donald
יצא לאור: (1976)
מאת: Monk, James Donald
יצא לאור: (1976)
An algebraic introduction to mathematical logic
מאת: Barnes, Donald W, et al.
יצא לאור: (1975)
מאת: Barnes, Donald W, et al.
יצא לאור: (1975)
Tableau systems for first order number theory and certain higher order theories
מאת: Toledo, Sue
יצא לאור: (1975)
מאת: Toledo, Sue
יצא לאור: (1975)
Fundamentos de matemáticas. (el lenguaje) (el sucesor). Curso de la Escuela de Arquitectura
מאת: Mena Lorca, Arturo
יצא לאור: (2003)
מאת: Mena Lorca, Arturo
יצא לאור: (2003)
La justificación del razonamiento inductivo
מאת: Russell, Bertrand, et al.
יצא לאור: (1976)
מאת: Russell, Bertrand, et al.
יצא לאור: (1976)