Title: Logic from computer science
Subjects: Symbolic and mathematical Logic, Congresses, Computer science