Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik. Horst Luckhardt (1970) Archiv für mathematische Logik und Grundlagenforschung