Notre Dame Journal of Formal Logic

Book review: Melvin Fitting. Computability theory, semantics, and logic programming.

Martin Davis

Full-text: Open access

Article information

Source
Notre Dame J. Formal Logic Volume 31, Number 3 (1990), 485-486.

Dates
First available in Project Euclid: 27 August 2004

Permanent link to this document
http://projecteuclid.org/euclid.ndjfl/1093635510

Digital Object Identifier
doi:10.1305/ndjfl/1093635510

Citation

Davis, Martin. Book review: Melvin Fitting. Computability theory, semantics, and logic programming. . Notre Dame Journal of Formal Logic 31 (1990), no. 3, 485--486. doi:10.1305/ndjfl/1093635510. http://projecteuclid.org/euclid.ndjfl/1093635510.


Export citation