The Implicit Function Theorem: History, Theory, and Applications by Krantz: New

Pythagorean Theorem: The Story of Its Power and Beauty, Posamentier, Alfred S.,

Interactive Theorem Proving and Program Development: CoqArt: The Calculus of...

Krantz - Implicit Function Theorem History Theory and Applications - X555z

Fermat's Last Theorem: The story of a riddle that confounded th .9781841157917

Frege's Theorem. Heck. 2014. PB. VG.

The Implicit Function Theorem: History, Theory, and Applications by Krantz

Emmy Noether?s Wonderful Theorem by Neuenschwander, Dwight Paperback / softback