View of Logic-free formalisations of recursive arithmetic

Return to Article Details Logic-free formalisations of recursive arithmetic Download Download PDF