Aspects of modern logic - Beth, Evert Willem 1908-1964 (Reidel, 1970)