Title: Computer science logic
First published: 1996
Subjects: Computer logic, Congresses
LC classification: QA75.5 .W625 1995