Reverse Mathematics Proving Axioms From Theorems John Stillwell Kazuyuki Tanaka

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

Theorem proving with Coq SSReflect MathComp Formalizing Mathematics from Used 1

Theorem Proving Practices Daniel P. Friedman (Author) Carl Eastlund Used 1

Book Introduction to the Foundations of Mathematics: A Logical Used

First-Order Logic and Automated Theorem Proving

Higher Order Logic Theorem Proving and Its Applications 7th Inter

Reverse Mathematics: Problems, Reductions, and Proofs by Damir D. Dzhafarov Pape