A formal system of partial recursive functions

DOI10.2977/PRIMS/1195192182zbMath0309.02036OpenAlexW2038124839MaRDI QIDQ1218847

Hiroakira Ono

Publication date: 1974

Published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2977/prims/1195192182

Mathematics Subject Classification ID

Classical first-order logic (03B10) Many-valued logic (03B50) Recursive functions and relations, subrecursive hierarchies (03D20)

Cites Work

• Untersuchungen über das logische Schliessen. I
• The classical and the ω-complete arithmetic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A formal system of partial recursive functions