Reviews matching “Proving a theorem (as done by man, logician, or machine)”

1 result

BookAuthorReviewerJournalDate
Proving a theorem (as done by man, logician, or machine) Abraham Robinson J. A. Robinson The Journal of Symbolic Logic 1968

Open this search with filters