scientific article; zbMATH DE number 3332435
From MaRDI portal
Publication:5609352
zbMath0209.00901MaRDI QIDQ5609352
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (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: