Introduction to Symbolic Logic - Basoon, A H (University Tutorial Press London, 1965)