Reviews matching “Computerizing mathematics: logic and computation”

2 results

BookAuthorReviewerJournalDate
Computerizing mathematics: logic and computation Michael J. Beeson J. C. Shepherdson The Journal of Symbolic Logic 1991
Computerizing mathematics: logic and computation Michael J. Beeson J. C. Shepherdson The Journal of Symbolic Logic 1991

Open this search with filters