An Introduction To Modern Logic by Rupert Clendon Lodge