Logic and Combinatorics - Simpson, Stephen G. (Contemporary Mathematics., 1987)