scientific article; zbMATH DE number 2079023

zbMATH Open1044.03539MaRDI QIDQ4474835FDOQ4474835

Authors: L. N. Gordeev 

Publication date: 21 July 2004

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

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Mechanization of proofs and logical operations (03B35)

Cited In (1)

• Finite methods in 1-order formalisms

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