Topics in Modern Logic - D. C. Makinson (Taylor and Francis, 1973)