Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik. Dieter Klemke — 1971 Archiv für mathematische Logik und Grundlagenforschung