Mathematical logic for computer science/

• Main Author: Ben-Ari, M., 1948-
• Format: Book
• Language: English
• Published: London New York: Springer, 2001
• Edition: 2nd ed.
• Subjects: Logic, Symbolic and mathematical