Lectures in Logic and Set Theory: Volume I: Mathematical Logic: Volume 1, Mathematical Logic (Cambridge Studies in Advanced Mathematics, Band 82)
Ein einführendes Werk zur mathematischen Logik, das die Theorie von Aussagen bis zu Prädikatenlogik systematisch darstellt, mit anschaulichen Beweis ...