This book describes computability theory and provides an extensive treatment of data structures and program correctness. The author covers topics of current interest, such as the logic programming language PROLOG and its relation to the LISP type of language. Read More
This book describes computability theory and provides an extensive treatment of data structures and program correctness. The author covers topics of current interest, such as the logic programming language PROLOG and its relation to the LISP type of language. Read Less
Add this copy of Computability Theory, Semantics, and Logic Programming to cart. $107.00, like new condition, Sold by Zed Books rated 5.0 out of 5 stars, ships from New York, NY, UNITED STATES, published 1987 by Oxford University Press / Clarendon Press.
