551 Abstract Algebra I,II
561 Mathematical Logic
566 Axiomatic Set Theory
567 Model Theory
569 Selected Topics in Logic