Title: Computer Science Logic
Subjects: Computer logic, Congresses, Computer science