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