2 books • 2 series
A First Journey through Logic (Student Mathematical Library)
Non-Archimedean Tame Topology and Stably Dominated Types (AM-192) (Annals of Mathematics Studies, #192)