Didaktisch eingängige Einführung in die Mathematische Logik, auf das Wesentliche beschränkt. Es werden keine Vorkenntnisse vorausgesetzt; alle benötigten Begriffe und Hilfsmittel werden an gegebener Stelle eingeführt. Begründungen und Beweise werden so detailliert wie möglich gegeben. eine Vielzahl von Beispielen konkretisieren die Definitionen und Sätze.
