Title: Logic in computer science
First published: 2001
Subjects: Computer science, Congresses, Logic, Symbolic and mathematical, Mathematics, Symbolic and mathematical Logic