scientific article; zbMATH DE number 3332435

zbMATH Open0209.00901MaRDI QIDQ5609352FDOQ5609352

Authors: Kurt Schütte 

Publication date: 1968

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (2)

• Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik
• Ein Vollständigkeitsbeweis Für Die Aussagenlogischen ModalitätensystemeM, S 4,Br UndS 5

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5609352)