Mathematical logic for computer science /

Bibliographic Details

Main Author:	Ben-Ari, M., 1948-
Format:	Book
Language:	English
Published:	London ; New York : Springer, [2001]
Edition:	2nd ed.
Subjects:	Logic, Symbolic and mathematical.