Rights and permissions
About this article
Cite this article
Glubrecht, JM. Ein Vollständigkeitsbeweis Für Schnittfreie Kalküle Mit Der Maximalisierungsmethode Von Henkin. Arch math Logik 22, 159–166 (1980). https://doi.org/10.1007/BF02297654
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02297654