Admissible Sets and Structures: A Approach to Definability Theory (1975)

by J Barwise
Venue:SpringerVerlag, Perspectives in Mathematical Logic