Reviews matching “Logic: form and function. The mechanization of deductive reasoning”

1 result

BookAuthorReviewerJournalDate
Logic: form and function. The mechanization of deductive reasoning J. A. Robinson J. D. Halpern The Journal of Symbolic Logic 1986

Open this search with filters