Logic and proof techniques - Eberle, Rolf A . (Kolkata : New Central Book Agency, 1996)
Includes bibliography and index
Keywords: LOGIC