Ciesinger, J. (1970). Beweisprogramm nach einem modifizierten Gentzenkalkül für die Prädikatenlogik erster Stufe.
Chicago-Zitierstil (17. Ausg.)Ciesinger, J. Beweisprogramm Nach Einem Modifizierten Gentzenkalkül Für Die Prädikatenlogik Erster Stufe. München, 1970.
MLA-Zitierstil (9. Ausg.)Ciesinger, J. Beweisprogramm Nach Einem Modifizierten Gentzenkalkül Für Die Prädikatenlogik Erster Stufe. 1970.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.