DOI10.1090/trans2/099/05zbMath0249.02013OpenAlexW4253755270MaRDI QIDQ5661484
N. A. Shanin
Publication date: 1972 Published in: Five Papers on Logic and Foundations (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1090/trans2/099/05
Mathematics Subject Classification ID
Intermediate logics (03B55) Proof theory and constructive mathematics (03F99)
Related Items
