Reviews matching “Computability theory, semantics, and logic programming”

3 results

BookAuthorReviewerJournalDate
Computability theory, semantics, and logic programming Melvin Fitting Martin Davis Notre Dame Journal of Formal Logic 1990-06-01
Computability theory, semantics, and logic programming Melvin Fitting J. C. Shepherdson The Journal of Symbolic Logic 1988
Computability theory, semantics, and logic programming George J Tourlakis Ann Yasuhara The Journal of Symbolic Logic 1988

Open this search with filters