TY - BOOK AU - Tourlakis, George AU - Bollobas, B TI - Lectures in Logic and Set Theory: Volume 1, Mathematical Logic SN - 9.78E+12 U1 - 511.3 PY - 2003/// CY - Cambridge PB - CUP KW - Logic, Symbolic and mathematical KW - Computers KW - Mathematics KW - Set theory UR - http://isical.cambridge.patron.eb20.com/Collections/ViewBook/03680db9-09a8-411e-940f-6e0df3c8e86b ER -