Ben-Ari, Mordechai Mathematical logic for computer science - 2ND - LONDON SPRINGER 2001 - XIII,303P ISBN: 1-85233-319-7 Subjects--Topical Terms: LOGIC FOR MATHEMATICAL Dewey Class. No.: 511.3 BEN