Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik Horst Luckhardt OriginalPaper Pages: 55 - 59
Substitution algebras in their relation to cylindric algebras Anne Preller OriginalPaper Pages: 91 - 96