General Recursive Functions in the Number-Theoretic Formal System

DOI10.4288/JAFPOS1956.1.119zbMATH Open0109.00903OpenAlexW1233851957MaRDI QIDQ3845375

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)

Related Items (6)

Generic recursive lens combinators and their calculation laws ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Computer Aided Systems Theory – EUROCAST 2005 ⋮ From recursions to asymptotics: Durfee and dilogarithmic deductions ⋮ Title not available (Why is that?)

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)