The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students and research mathematicians and may serve also as a guide for lectures and seminars on a graduate level.