scientific article
From MaRDI portal
Publication:3677754
zbMATH Open0564.03036MaRDI QIDQ3677754
Publication date: 1984
Title of this publication is not available (Why is that?)
primitive recursive arithmeticpredecessor functionfunctional existence axiomfunctional uniqueness axioms
Related Items (3)
A recursive second order initial algebra specification of primitive recursion ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)
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 Q3677754)
