Ben-Ari, M., 1948-
Mathematical logic for computer science [[Book] /] Mordechai Ben-Ari. - 2nd ed. - London ; New York : Springer, 2003, c2001. - xiv, 304 p. : ill. ; 24 cm.
2nd printing with corrections 2003.
Includes bibliographical references (p. [293]-295) and indexes.
8181283449
2008922521
Logic, Symbolic and mathematical.
511.3
/ B M
Mathematical logic for computer science [[Book] /] Mordechai Ben-Ari. - 2nd ed. - London ; New York : Springer, 2003, c2001. - xiv, 304 p. : ill. ; 24 cm.
2nd printing with corrections 2003.
Includes bibliographical references (p. [293]-295) and indexes.
8181283449
2008922521
Logic, Symbolic and mathematical.
511.3
/ B M