scientific article
From MaRDI portal
Publication:3958433
zbMath0495.03010MaRDI QIDQ3958433
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
cut ruleformal arithmeticnumerical formulasnumerical terms based on Church numeralsrestricted versions of Gentzen-type rules
This page was built for publication:
