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