Title: An Introduction to the Logic of the Computing Sciences
First published: 1999
Subjects: Computer logic, Computer science, Logic, symbolic and mathematical
LC classification: QA76.9.L63 V66 1999