Commutative Algebra: Theorems, Proofs, and Python Implementations (Computational Mathematics Library)

Commutative Algebra: Theorems, Proofs, and Python Implementations (Computational Mathematics Library)

Algebraic Number Theory and Fermat's Last Theorem

The Fundamental Theorem of Algebra (Undergraduate Texts in Mathematics)

Deduction Theorem and Peirce Law in General Algebraic Logic: Constructive Proofs in General Sentential Logic and Universal Algebra