zbMath0326.02019MaRDI QIDQ4090311
Horst Luckhardt
Publication date: 1975
Mathematics Subject Classification ID
03B55: Intermediate logics
03F99: Proof theory and constructive mathematics
Related Items