scientific article
From MaRDI portal
Publication:3214889
zbMath0272.02037MaRDI QIDQ3214889
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Intuitionistic mathematics (03F55) Intermediate logics (03B55) Proof theory and constructive mathematics (03F99)
Related Items (1)
This page was built for publication: