scientific article; zbMATH DE number 3363517
From MaRDI portal
Publication:5636854
zbMath0229.02024MaRDI QIDQ5636854
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Program-substitution and admissibility of rules in algorithmic logic ⋮ HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS ⋮ The deducibilities of S5
This page was built for publication:
