Admissible Sets and Structures. An Approach to Definability Theory (1975)

by J Barwise