Title: Computer science logic
Subjects: Computer logic, Congresses, Logic, symbolic and mathematical