Mathematical logic for computer science /
Ben-Ari, M.
Mathematical logic for computer science / Mordechai Ben-Ari - 2nd ed. - London ; New York : Springer, c2001 - xiv, 304 p. : ill. ; 24 cm.
Includes bibliographical references (p. [293]-295) and index
1852333197 (pbk.)
Logic, Symbolic and mathematical
Mathematical logic for computer science / Mordechai Ben-Ari - 2nd ed. - London ; New York : Springer, c2001 - xiv, 304 p. : ill. ; 24 cm.
Includes bibliographical references (p. [293]-295) and index
1852333197 (pbk.)
Logic, Symbolic and mathematical