Title: Methods and applications of mathematical logic
Subjects: Congresses, Symbolic and mathematical Logic