Mathematical logic for computer science/

• Κύριος συγγραφέας: Ben-Ari, M., 1948-
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: London New York: Springer, 2001
• Έκδοση: 2nd ed.
• Θέματα: Logic, Symbolic and mathematical
• Φυσική περιγραφή: xiv, 304 σ. : εικ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφικές παραπομπές (σ.[293]-295) και ευρετήριο
• ISBN: 9781852333195