First order mathematical logic - Margaris Angelo (Waltham Blaisdell, 1967)
Keywords: Logic