The Calculus of Partial Predicates and Its Extension to Set Theory I

This publication has 5 references indexed in Scilit:

• Mathematische Gesetze der Logik I
  Published by Springer Nature ,1960
• AUSSAGENLOGISCHE GRUNDEIGENSCHAFTEN FORMALER SYSTEME
  Dialectica, 1958
• Ein System des Verknüpfenden Schliessens
  Archive for Mathematical Logic, 1956
• Widerspruchsfreier Aufbau einer typenfreien Logik. II
  Mathematische Zeitschrift, 1952
• Schlußweisen-Kalküle der Prädikatenlogik
  Mathematische Annalen, 1950