TY - BOOK AU - Benson, Donald. C. TI - Moment of Proof Mathematical Epiphanies SN - 019117212 U1 - 511.3 BEN PY - 1999/// CY - New York PB - Oxford University Press KW - Proof Theory KW - Symbolic Logic ER -