TY  - BOOK
AU  - Fitting Melvin
TI  - Computability theory,semantics,and logic programming
SN  - 0-19-503691-3
U1  - 005.115 
PY  - 1987///
CY  - N Y
PB  - O U P
KW  - Computability
KW  - Logic programming
ER  -