Ben-Ari, Mordechai Mathemtical logic for computer science [Book] Mordechai Ben-Ari. - 2nd Ed. - Springer-Verlag London All. ISBN: 8181283449 Subjects--Topical Terms: Logic, Symbolic & Mathemtical Dewey Class. No.: 511.3