ENGLISH

Computability Theory, Semantics, and Logic Programming

By Melvin Fitting

Book information

Publisher
Oxford University Press
Year
1987
ISBN
0195036913, 9780195036916
Language
english
Format
DJVU
Filesize
2 MB (2214046 bytes)
Series
Oxford Logic Guides 13
Pages
214\214
Topic
Mathematics Logic
DPI
600
Time added
2014-03-26 16:50:32

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.

Similar books