Advertisement

© 1984

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

Book
  • 301 Downloads

Table of contents

  1. Front Matter
    Pages N1-IV
  2. Normalformen

    1. Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 231-259
  3. Identität

    1. Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 260-279
  4. Theorien

    1. Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 280-291
  5. Metalogische Ergebnisse

    1. Front Matter
      Pages 293-293
    2. Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 295-314
    3. Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 315-329
    4. Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 342-374

About this book

Keywords

Berechenbarkeit Beweis Funktionen Kompaktheitssatz Konjunktive Normalform Lehrsatz Logik Löwenheim-Skolem-Theorem Mengen Prädikate Quantoren Randelementmethode Sopera Typen rekursive Funktionen

Authors and affiliations

  1. 1.Seminar für Philosophie, Logik und WissenschaftstheorieUniversität MünchenMünchen 22Deutschland

Bibliographic information

  • Book Title Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit
  • Editors Wolfgang Stegmüller
  • Series Title Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Band III, Strukturtypen der Logik
  • DOI https://doi.org/10.1007/978-3-642-61725-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 1984
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-12212-8
  • eBook ISBN 978-3-642-61725-6
  • Edition Number 1
  • Number of Pages , 143
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Mathematical Logic and Foundations
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking