Chapter V: The Recursion Theory of $\Sigma_1$ Predicates on Admissible Sets

VOL. 7 | 1975 Chapter V: The Recursion Theory of $\Sigma_1$ Predicates on Admissible Sets

Chapter Author(s) Jon Barwise

Perspect. Logic, 1975: 153-196 (1975)

First Page PDF

CHAPTER
44 PAGES

< Previous Chapter

|

Next Chapter >

Vol. 7 • 1 January 1975

Association for Symbolic Logic

KEYWORDS/PHRASES