Aspects of modern logic / - Beth, Evert Willem. (Reidel, 1970)