Clark, R. & Welsh, P.

• Introduction To Logic