Course in deductive logic - Kaul, B N (Delhi Sultan Chand)