Title: Computer science logic
First published: 1995
Subjects: Computer science, Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Logic, symbolic and mathematical
LC classification: QA75.5 .W624 1994