نتایج جستجو
Symbolic Logic: A First Course
Gary M. Hardegree, 1999
Solving Higher-Order Equations: From Logic to Programming
Christian Prehofer, 1998
Starting Out with Programming Logic and Design
Tony Gaddis, 2012
Starting out with programming logic and design
Tony Gaddis, 2013
Logic in Algebraic Form, Three Languages and Theories
William Craig, 1974
Logic in Algebraic Form: Three Languages and Theories
William Craig (Eds.), 1974
Logic in algebraic form: Three languages and theories (no TOC)
William Craig, 1974
Mathematical logic and the foundations of mathematics
G T Kneebone, 1963
Mathematical logic and the foundations of mathematics
G T Kneebone, 1963
Putting Logic in Its Place: Formal Constraints on Rational Belief
David Christensen, 2004
The Godel Programming Language (Logic Programming)
Patricia Hill, 1994
The Haskell road to logic, maths and programming
Kees Doets, 2004
The logic of programming
Hehner E.C.R., 1984
The Logic programming paradigm : a 25-year perspective
Krzysztof Apt, 1999
