"Basson, A H" Introduction to Symbolic Logic - \\197700ENGGPCX - O U P 1977 Bombay - v+175p includes index and biblioraphy