Semantic interpretation of predicate calculus system of medium logic \(ME^*\) and its soundness and completeness

From MaRDI portal
Publication:1123188