Welcome to Central Library, SUST

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