Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit

Book information

Publisher

Springer-Verlag Berlin Heidelberg

Year

1984

ISBN

978-3-540-12212-8, 978-3-642-61725-6

DOI

10.1007/978-3-642-61725-6

Language

german

Format

PDF

Filesize

4 MB (4570669 bytes)

Series

Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Band III, Strukturtypen der Logik 3 / B

Edition

1

Pages

143\149

Time added

2014-01-18 08:00:00