by Peter Gibbins · Clarendon Press · tapa blanda · ISBN 9780198596592
VAT included
Hamelyn quality guarantee · checked and verified, or your money back
«Logic with Prolog» is the formal logic and logic programming textbook by Peter Gibbins, from Clarendon Press, in paperback (336 pages, in English).
Introduction to formal logic and logic programming with Prolog: covers parsers, interpreters, proof checkers and theorem provers, propositional and predicate calculi via natural deduction, the logic of a small imperative language, and the limitations of real Prolog.
Originally published in 1988, it is part of the Oxford Applied Mathematics and Computing Science Series and includes bibliography and index.
Aimed at university students and computing professionals interested in logic and programming in Prolog.
