Ben Ari, Mordechai Mathematical logic for computer science - 2nd - Springar publications New Delhi 2008 - 595 ISBN: 978-81-8128-344-3 Subjects--Topical Terms: MATHEMATICS Dewey Class. No.: 511.3 BEN