First order mathematical Logic. - Margaris, Angelo (Ginn-Blaisdell, 1967)