Chapter 8: Set Recursion and Higher Types

Open Access

VOL. 10 | 1980 Chapter 8: Set Recursion and Higher Types

Jens E. Fenstad

Perspect. Logic, 1980: 182-207 (1980)

First Page PDF

CHAPTER
26 PAGES

DOWNLOAD PDF + SAVE TO MY LIBRARY

< Previous Chapter

|

Next Chapter >

General Recursion Theory: An Axiomatic Approach

Vol. 10 • 1 January 1980

Association for Symbolic Logic