Mathematical Logic. paper 432 p. 02
内容
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
