![](/img/cover-not-exists.png)
The Logical Structure of Computer-Aided Mathematical Reasoning
Devlin, KeithVolume:
104
Language:
english
Journal:
The American Mathematical Monthly
DOI:
10.1080/00029890.1997.11990692
Date:
August, 1997
File:
PDF, 1.40 MB
english, 1997