Introductoin to logic/B.S. Sanyal - Sanyal, B.S. (Ajmer Sachin Publications, 1979)