de Bakker, J. W. Recursive procedures. (English) Zbl 0274.02015 Mathematical Centre Tracts. 24. Amsterdam: Mathematisch Centrum. 108 p. Benelux fl. 12.00; $ 4.50 (1971). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 15 Documents MSC: 03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations 68-02 Research exposition (monographs, survey articles) pertaining to computer science 03D20 Recursive functions and relations, subrecursive hierarchies 03D99 Computability and recursion theory 68N01 General topics in the theory of software 68W30 Symbolic computation and algebraic computation PDF BibTeX XML OpenURL