Title: Computer science logic
First published: 1994
Subjects: Computer science, Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: QA76.5 .W64 1993