×

zbMATH — the first resource for mathematics

A programming approach to computability. (English) Zbl 0497.68025
Texts and Monographs in Computer Science. The AKM Series in Theoretical Computer Science. New York - Heidelberg - Berlin: Springer-Verlag. VIII, 251 p. DM 49.00; $ 20.50 (1982).

MSC:
03D60 Computability and recursion theory on ordinals, admissible sets, etc.
68N01 General topics in the theory of software
03D80 Applications of computability and recursion theory
68-02 Research exposition (monographs, survey articles) pertaining to computer science
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations