Admissible sets and structures : an approach to definability theory - Barwise Jon (Berlin Springer-Verlag, 1975)
Keywords: Admissible theory; Definability theory