Theorem proving with Coq SSReflect MathComp Formalizing Mathematics from Used 1

Book Mathematics Girl/Fermat's Last Theorem Mathematics Girl Series Used

Newton The World of Mathematics Revised 5th Edition Book Used Algebra Geometry C

14 Great Problems That Changed Mathematics: From Fermat's Last Theorem to Used 1

* PUZZLES OF MATHEMATICS THEOREM NUMBERS ALGEBRA EQUATIONS * 200 RARE BOOKS DVD

Book Introduction to the Foundations of Mathematics: A Logical Used

Theorems and Counterexamples in Mathematics (Problem Books in Ma

Dirac's Exponential Theorem Kyoritsu Course in 21st Century Mathematics Used 1