Reviews matching “The computer modelling of mathematical reasoning”

1 result

BookAuthorReviewerJournalDate
The computer modelling of mathematical reasoning Alan Bundy Vladimir Lifschitz The Journal of Symbolic Logic 1987

Open this search with filters