Logic for mathematics and computer science

• Κύριος συγγραφέας: Burris, Stanley N.
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Upper Saddle River Prentice Hall 1998
• Θέματα: Λογική, Συμβολική και μαθηματική