Gregory Michaelson Mathematical Reasoning: The History and Impact of the DReaM Group - Springer Nature 2021 One time purchase [Perpetual access] ISSN: 9783030778798 Subjects--Topical Terms: Computer Science