This page provides the original German text of the diploma thesis Tableau-Kalkül für PDL und Interpolation by Manfred Borzechowski at FU Berlin in 1988, and an English translation by Malvin Gattinger. Please send any questions or comments to malvin@w4eg.eu.
Borzechowski1988-PDL-translation-Gattinger2020.pdf