Mathematical logic for computer science /
Ben-Ari, M., 1948-
Mathematical logic for computer science / Mordechai Ben-Ari. - Third edition. - London : Springer. c2012. - xv, 346 pages : illustrations ; 24 cm
Includes bibliographical references and index.
9781447141280 (pbk.) 978447141297 1447141288 (pbk.)
Logic, Symbolic and mathematical.
Logic, Symbolic and mathematical.
511.3 / BEM
Mathematical logic for computer science / Mordechai Ben-Ari. - Third edition. - London : Springer. c2012. - xv, 346 pages : illustrations ; 24 cm
Includes bibliographical references and index.
9781447141280 (pbk.) 978447141297 1447141288 (pbk.)
Logic, Symbolic and mathematical.
Logic, Symbolic and mathematical.
511.3 / BEM