An Introduction to Symbolic Logic - Colin Howson (Taylor and Francis, 1997)