Konstruktion nichtrekursiver Funktionen
From MaRDI portal
Publication:1840348
Cited in
(6)- Nicht konstruktiv beweisbare Sätze der Analysis
- Proof of a Conjecture of Routledge
- The theory of recursive functions, approaching its centennial
- On automorphisms of arbitrary mathematical systems
- An example of general recursive well-ordering which is not primitive recursive
- The Ackermann functions are not optimal, but by how much?
This page was built for publication: Konstruktion nichtrekursiver Funktionen
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1840348)