Home›Books›Extending The Frontiers Of Mathematics Inquiries Into Proof And AugmentationExtending The Frontiers Of Mathematics Inquiries Into Proof And Augmentationby Edward B. BurgerNo description available.Proof theoryMathematical analysisLogic, symbolic and mathematical