Mathematical logic for computer science

Author Statement

Mordechai Ben-Ari

Edition

2nd ed

Publication

Springer

Publication Year

2003, c2001

Collation

xiv, 304 p. ill. 24 cm

Notes

2nd printing with corrections 2003 , Includes bibliographical references (p. [293]-295) and indexes.

Subject

Logic, Symbolic and mathematical

Main class

511.3

Link To Document