scientific article; zbMATH DE number 3645087
From MaRDI portal
Publication:3050428
zbMATH Open0415.03047MaRDI QIDQ3050428FDOQ3050428
Authors: Toshio Umezawa 
Publication date: 1979
Title of this publication is not available (Why is that?)
proof theorycut-eliminationclassical predicate logicintuitionistic predicate logiccut-free derivations
Cut-elimination and normal-form theorems (03F05) Classical first-order logic (03B10) Intuitionistic mathematics (03F55)
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 Q3050428)
