Title: Computer science logic
First published: 1998
Subjects: Computer logic, Congresses, Logic circuits, Logic, symbolic and mathematical
LC classification: QA76.9.L63 W67 1997