Advertisement

Vorbereitung des Entscheidungsverfahrens

  • H. Arnold Schmidt
Part of the Die Grundlehren der Mathematischen Wissenschaften book series (GL, volume 69)

Zusammenfassung

Dieses Kapitel ist der BegrÜndung eines praktisch brauchbaren und möglichst handlichen Entscheidungsverfahrens fÜr die derivative und die intuitionistische Aussagenlogik gewidmet. Alle in ihm eingefÜhrten Begriffsbildungen dienen lediglich dieser Aufgabe. Wen an dem Entscheidungsverfahren nicht seine BegrÜndung, sondern lediglich seine Handhabung interessiert, der mag die folgenden Paragraphen überschlagen und seine Lektüre gleich bei Kap. XXVIII fortsetzen.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag OHG. Berlin · Göttingen · Heidelberg 1959

Authors and Affiliations

  • H. Arnold Schmidt
    • 1
  1. 1.Universität MarburgDeutschland

Personalised recommendations