Title: Prädikatenlogik ohne gebundene Variablen
Subjects: Combinatory logic, Cylindric algebras, Symbolic and mathematical Logic