scientific article
From MaRDI portal
Publication:3050396
zbMath0415.03008MaRDI QIDQ3050396
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
natural deductionmetamathematics of constructive systemsfragments of classical logicmathematical reasonings
Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (1)
This page was built for publication:
