Aspects of modern logic - Beth, Evert Willem (Reidel, 1971)