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. $98.98, good condition, Sold by My Dead Aunt's Books rated 5.0 out of 5 stars, ships from Hyattsville, MD, UNITED STATES, published 1987 by Oxford University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. "Review Copy from SCIENCE; " "Oxford Logic Guides: 13; " First ed.; 198 p., immaculate and unmarked; binding tight; despite absence of d.j. black boards with bright gilt lettering show minimal wear.
Add this copy of Computability Theory: Semantics and Logic Programming to cart. $182.97, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1987 by Oxford University Press Inc.
