First order mathematical logic - Margaris, Angelo (A Blaisdell Book in Pure and Applied Mathematics, 1967)