Book review: Melvin Fitting. Computability theory, semantics, and logic programming.
Martin Davis
Source: Notre Dame J. Formal Logic Volume 31, Number 3 (1990), 485-486.
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093635510
Digital Object Identifier: doi:10.1305/ndjfl/1093635510
Notre Dame Journal of Formal Logic
