Algebra of Proofs

• 1 January 1978
• book
• Published by Elsevier in Studies in Logic and the Foundations of Mathematics
• https://doi.org/10.1016/s0049-237x(08)x7031-4

Abstract

Keywords

• ALGEBRA
• SCHOLARLY LITERATURE
• PEER REVIEWED
• REVIEWED SCHOLARLY
• LEADING PLATFORM
• PROOFS READ
• LATEST CHAPTERS