scientific article; zbMATH DE number 7448
From MaRDI portal
Publication:3970454
zbMATH Open0760.03002MaRDI QIDQ3970454
Publication date: 25 June 1992
Title of this publication is not available (Why is that?)
Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (2)
Title not available (Why is that?) ⋮ ADMISSIBILITY OF RULES OF INFERENCE, AND LOGICAL EQUATIONS, IN MODAL LOGICS AXIOMATIZING PROVABILITY
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3970454)
