Book

What is mathematical logic

by J. N. Crossley