Title: Patras Logic Symposion
Subjects: Congresses, Symbolic and mathematical Logic