This reprint of Kleene's 1967 text provides an elementary but thoroughtreatment of mathematical logic of the first order. Kleene (formerly:mathematics, University of Wisconsin, Madison) covers a variety ofmethods and techniques including model theory (truth tables),Hilbert-type proof theory, and