-
RecordNumber
6003
-
Author
Ben-Ari, M.,1948-
-
Title
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 :
