Admissible Sets and Structures (1975)

by J Barwise