DOI10.1090/trans2/099/03zbMath0249.02012MaRDI QIDQ5661483
A. V. Idel'son
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/03
Mathematics Subject Classification ID
03B55: Intermediate logics
03F99: Proof theory and constructive mathematics
Related Items