Ebbinghaus, H.-D. Mathematical Logic. 2nd. Edition. - New York Springer Verlag 1994 - x, 289p. - Undergraduate Texts in Mathematics . ISBN: 978-0-387-94258-2