General Recursive Functions in the Number-Theoretic Formal System

DOI10.4288/JAFPOS1956.1.119MaRDI QIDQ3845375zbMATH OpenOpenAlexFDO

Authors Shôji Maehara

Publication date 1957

Published in Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4288/jafpos1956.1.119

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited in

(7)

• Generic recursive lens combinators and their calculation laws
• From recursions to asymptotics: Durfee and dilogarithmic deductions
• scientific article; zbMATH DE number 4134025 (Why is no real title available?)
• scientific article; zbMATH DE number 4134026 (Why is no real title available?)
• scientific article; zbMATH DE number 3966052 (Why is no real title available?)
• Computer Aided Systems Theory – EUROCAST 2005
• Transformations of expressions associated with systems of recursion relations

This page was built for publication: General Recursive Functions in the Number-Theoretic Formal System

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3845375)