Admissible sets and structures: An approach to definability theory (1975)

by J Barwise
Venue:Perspectives in Mathematical Logic