András Zsák Books: PT Johnson: Logic and set theory D. van Dalen Logic and Structure A Haynal and P. Hamburger Set theory T. Jech Set Theory (J. Longley: Castles in the air) Icke Moerdijk, Jeep van Ooslen: Sets, Models and Proofs
Propositional Logic Well-orderings and Ordinals Function Definition by recursion Subset Collapse Order on Well-ordered sets Ordinal Poset Knaster-Tarski fixed point theorem Schröder-Bernstein Theorem Zorn’s Lemma Every vector space has a basis Well-ordering Principle Choice - Zorn - Well-Ordering First-order predicate Logic Peano Arithmetic Zermelo-Fraenkel Set Theory