Logic - Hodges, Wilfrid. (Penguin, 1977)
Includes index.