Reviews matching “Handbook of practical logic and automated reasoning”

1 result

BookAuthorReviewerJournalDate
Handbook of practical logic and automated reasoning John Harrison Alwen Tiu The Bulletin of Symbolic Logic 2010-06-00

Open this search with filters