On the logic of constructive mathematics
From MaRDI portal
Publication:2555492
zbMath0246.02027MaRDI QIDQ2555492
Publication date: 1972
Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)
Related Items (4)
Fuzzy constructive logic ⋮ Extended fuzzy constructive logic ⋮ On a finitary version of mathematical analysis ⋮ Dual realizability in symmetric logic
This page was built for publication: On the logic of constructive mathematics