Logic Primer - ALLEN, Colin (Prentice-Hall of India Private Limited, 2004)