Logic for mathematics and computer science

Main Author: BURRIS
Format: Book
Published: New Jersey: Prentice Hall, 1998.
Subjects: