K. N. Kar

• A text book of modern formal logic