The structure of proof : with logic and set theory /

• Κύριος συγγραφέας: O'Leary, Michael L. (συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Upper Saddle River, N.J. : Prentice Hall, c2002.
• Θέματα: Λογική, Συμβολική και μαθηματική