scientific article
From MaRDI portal
Publication:3705453
zbMath0582.03047MaRDI QIDQ3705453
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic ⋮ A completeness proof for a regular predicate logic with undefined truth value ⋮ A simple proof of a completeness result for \(leads\)-\(to\) in the UNITY logic
This page was built for publication:
