Mathematical logic for computer science
By: Mordechai Ben-Ari.
Edition: 2nd ed.
Publisher: Springer
Published: 2001
Place of publication: London; New York
Language: eng
Number of pages: 304
Subjects: Logic, Symbolic and mathematical
Notes: Includes bibliographical references (p. [293]-295) and indexes.