scientific article; zbMATH DE number 3779290
From MaRDI portal
Publication:3958433
zbMATH Open0495.03010MaRDI QIDQ3958433FDOQ3958433
Authors: A. S. Kuzichev 
Publication date: 1981
Title of this publication is not available (Why is that?)
formal arithmeticcut rulenumerical formulasnumerical terms based on Church numeralsrestricted versions of Gentzen-type rules
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 Q3958433)
