Mordechai, Ben Ari Mathematical Logic For Computer Science Book Mordechai. - 2nd - London : Springer, 2003 - xiv, 304 p. : All. English ISBN: 9781447173618 Subjects--Topical Terms: Mathematics-Logic-Symbolic Dewey Class. No.: 511.3