Computability Theory

Computability Theory : Semantics and Logic Programming

5 (1 rating by Goodreads)
By (author) 

List price: US$50.00

Currently unavailable

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks


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. It also considers LISP programming language and shows its relation to the PROLOG type of language. Advanced first-degree and graduate students of computer science; researchers in computer science and logic.
show more

Product details

  • Hardback | 208 pages
  • 150 x 240 x 19.05mm | 505g
  • New York, United States
  • English
  • 5figs.
  • 0195036913
  • 9780195036916

Rating details

1 rating
5 out of 5 stars
5 100% (1)
4 0% (0)
3 0% (0)
2 0% (0)
1 0% (0)
Book ratings by Goodreads
Goodreads is the world's largest site for readers with over 50 million reviews. We're featuring millions of their reader ratings on our book pages to help you find your new favourite book. Close X