Computability Theory, Semantics, and Logic Programming (Oxford Logic Guides) |  | Author: Melvin Fitting
Publisher: Oxford University Press, USA
Category: Book
List Price: $50.00
Buy Used: $33.05
You Save: $16.95 (34%)
Sales Rank: 1227474
Media: Hardcover
Pages: 218
Shipping Weight (lbs): 1.1
Dimensions (in): 9.6 x 6.3 x 0.8
ISBN: 0195036913
Dewey Decimal Number: 001.642
EAN: 9780195036916
Publication Date: April 16, 1987
Availability: Usually ships in 1-2 business days
Shipping: International shipping available
Condition: Excellent customer service. Order inquiries handled promptly.
| |
| Editorial Reviews:
Product Description
This book describes computability theory and provides an extensive treatment of data structures and program correctness. It makes accessible some of the author's work on generalized recursion theory, particularly the material on the logic programming language PROLOG, which is currently of great interest. Fitting considers the relation of PROLOG logic programming to the LISP type of language.
|
|
|
