Title: Computer science logic
First published: 1997
Subjects: Computer logic, Congresses, Computer science
LC classification: QA76.9.L63 W67 1996