Normalformen. Identitaet und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollstaendigkeit und Unentscheidbarkeit(German, Paperback, unknown)