About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us

Previous | Up | Next

Author: Švejdar, Vítězslav

Švejdar, Vítězslav: Arithmetical classification of the set of all provably recursive functions. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 40 (1999), issue 4, pp. 631-634

Browse
- Collections
- Titles
- Authors
- MSC

Partner of