The structure of proof : with logic and set theory /

• Main Author: O'Leary, Michael L. (συγγραφέας)
• Format: Book
• Language: English
• Published: Upper Saddle River, N.J. : Prentice Hall, c2002.
• Subjects: Λογική, Συμβολική και μαθηματική