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

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

The Fundamental Theorem of Algebra (Undergraduate Texts in Mathematics)

Algebraic Number Theory and Fermat's Last Theorem

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