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

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

Reverse Mathematics Proving Axioms From Theorems John Stillwell Kazuyuki Tanaka

Book Reverse Mathematics: Proving Axioms from Theorems Used

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

First-Order Logic and Automated Theorem Proving

Automated Theorem Proving: A Logical Basis Loveland, Donald W.:

Pythagorean Theorem for Babies: A Simple and Colorful Introduction to Math a...