A comprehensive index of philosophy book reviews

Reviews matching “First-order logic and automated theorem proving”

1 result

BookAuthorReviewerJournalDate
First-order logic and automated theorem proving Melvin Fitting Alfredo Ferro The Journal of Symbolic Logic 1993

Open this search with filters