TY  - BOOK
AU  - Stillwell
TI  - The Story of Proof: Logic and the History of Mathematics
PB  - IEEE
UR  - https://ieeexplore.ieee.org/servlet/opac?bknumber=9969972
ER  -