Algebra of proofs /

• Κύριος συγγραφέας: Szabo, M. E. (συγγραφέας.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Amsterdam ; North-Holland, 1978.
• Σειρά: Studies in logic and the foundations of mathematics
• Θέματα: Λογική, Συμβολική και μαθηματική
• Φυσική περιγραφή: xii, 297 σ. ; 24 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφία.
• ISBN: 0720422868