Book

A beginner's further guide to mathematical logic

by Raymond M. Smullyan