1. Der Aufbau Einer Höheren Logik

   • Wilhelm Ackermann

   OriginalPaper Pages: 5 - 22

2. Semantische Begründung der Derivativen Implikationslogik

   • E. W. Beth

   OriginalPaper Pages: 23 - 28

3. Two examples of algorithms

   • Haskell B. Curry

   OriginalPaper Pages: 29 - 44

4. Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik

   • Kurt Schütte

   OriginalPaper Pages: 45 - 60

5. A simplified formalization of predicate logic with identity

   • Alfred Tarski

   OriginalPaper Pages: 61 - 79