Beweisprogramm nach einem modifizierten Gentzenkalkül für die Prädikatenlogik erster Stufe - Ciesinger, J. (1970)