Richard A. Shore (1977): $\alpha$--recursion theory


Title: $\alpha$--recursion theory
Author(s): Richard A. Shore
Year: 1977
Booktitle: Handbook of Mathematical Logic
Editor(s): Jon Barwise
Chapter: C.5
Pages: 653-680
Publisher: North--Holland
Address: Amsterdam

Concepts