Advertisement

Vollständige Systeme modaler und intuitionistischer Logik

  • Kurt Schütte
Book

Part of the Ergebnisse der Mathematik und ihrer Grenzgebiete book series (MATHE2, volume 42)

Table of contents

About this book

Keywords

Beweis Logik Modale Logik Prädikatenkalkül Systeme intuitionistischer Logik modaler Logik

Authors and affiliations

  • Kurt Schütte
    • 1
  1. 1.Mathematisches InstitutUniversität MünchenDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-88664-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 1968
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-88665-2
  • Online ISBN 978-3-642-88664-5
  • Series Print ISSN 0071-1136
  • Buy this book on publisher's site
Industry Sectors
Automotive
Finance, Business & Banking
Aerospace