Philosophical logic an introduction to advanced topics - Englebretsen, George; Sayward, Charles 1937- (Continuum, 2011)