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