Themes in Philosophical Logic - Martin Davies (Taylor and Francis, 1981)