Algebra of proofs /

• Main Author: Szabo, M. E. (συγγραφέας.)
• Format: Book
• Language: English
• Published: Amsterdam ; North-Holland, 1978.
• Series: Studies in logic and the foundations of mathematics
• Subjects: Λογική, Συμβολική και μαθηματική