Title: Computer science logic
First published: 2006
Subjects: Computer logic, Congresses, Logic