Normalformen. Identität und Kennzeichnung. Theorien und Definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und Synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit
Publisher: Springer London, Limited
Published: 2013
Language: ger
ISBN-13: 9783642617256