Admissible sets and structures an approach to definability theory - Barwise, Jon (Springer-Verlag, 1975)