Logic for mathematics and computer science

• Main Author: Burris, Stanley N.
• Format: Book
• Language: English
• Published: Upper Saddle River Prentice Hall 1998
• Subjects: Λογική, Συμβολική και μαθηματική