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. $147.11, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1987 by Oxford University Press.
