Logic: From Foundations to Applications
Hodges, Wilfrid / Hyland, Martin / Steinhorn, Charles / Truss, John
The volume contains twenty-one essays by leading authorities on aspects of contemporary mathematical logic, including set theory, model theory, constructive mathematics and applications of computer science. It includes several excellent expository papers, including in particular the first thorough expositions of applications of 0-minimal structures in field theory.