Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik

  • Wolfgang Stegmüller
  • Matthias Varga von Kibéd

Table of contents

  1. Front Matter
    Pages I-IV
  2. Einleitung: Inhaltsübersicht

    1. Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 1-23
  3. Vorbereitungen

    1. Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 24-46
  4. Logik

    1. Front Matter
      Pages 47-47
    2. Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 49-72
    3. Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 73-96
    4. Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 97-204
    5. Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 205-230

About this book

Keywords

Beweis Kardinalzahl Lemma Logik Mengenlehre Sequenzenkalkül Äquivalenz

Authors and affiliations

  • Wolfgang Stegmüller
    • 1
  • Matthias Varga von Kibéd
    • 1
  1. 1.Seminar für Philosophie, Logik und WissenschaftstheorieUniversität MünchenMünchen 22Germany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-61724-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 1984
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-12211-1
  • Online ISBN 978-3-642-61724-9
  • Buy this book on publisher's site
Industry Sectors
Telecommunications
Oil, Gas & Geosciences