Admissible sets and structures : an approach to definability theory - Barwise, Jon, 1942-2000 (Perspectives in mathematical logic, 1975)