Book

First course in mathematical logic

by Patrick Suppes