Mathematical logic for computer science
By: M. Ben-Ari.
Series: Prentice Hall international series in computer science
Publisher: Prentice Hall
Published: 1993
Place of publication: New York
Language: eng
Number of pages: 305
Subjects: Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. 274-277) and index.