Mathematical logic for computer science
By: Mordechai Ben-Ari.
Edition: 2nd ed.
Publisher: Springer
Published: 2003
Place of publication: London; New York
Language: eng
Number of pages: 304
ISBN-13: 9781852333195
Copyright date: 2001
Subjects: Logic, Symbolic and mathematical
Notes: 2nd printing with corrections 2003.

Includes bibliographical references (p. [293]-295) and indexes.