Type of document: Lecture Notes
Language: English
Author(s): Maass, Wolfgang
Title: Fine Structure Theory of the Constructible Universe in $\alpha$- and $\beta$-Recursion Theory
Year: 1978
Source: Springer Lecture Notes in Mathematics
Volume: 669
Pages: 339-359
Catalog