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
• Physical Description: xiv, 304 σ. : εικ.
• Bibliography: Περιλαμβάνει βιβλιογραφικές παραπομπές (σ.[293]-295) και ευρετήριο
• ISBN: 9781852333195