scientific article; zbMATH DE number 3817673

zbMATH Open0517.03002MaRDI QIDQ3665076FDOQ3665076

Authors: Sergey Popov 

Publication date: 1982

Title of this publication is not available (Why is that?)

zbMATH Keywords

diagramdeductionproof

Mathematics Subject Classification ID

Classical propositional logic (03B05) Cut-elimination and normal-form theorems (03F05)

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 Q3665076)