Beth, Evert Willem: Aspects of modern logic. Dordrecht : Reidel, 1970