Logic: From Foundations to Applications: European Logic Colloquium

Wilfrid Hodges , Martin Hyland , Charles Steinhorn