Title: Systeme der kumulativen Logik
Subjects: Symbolic and mathematical Logic