Formal methods an introduction to symbolic logic and to the study of effective operations in arithmetic and logic - Beth, Evert Willem (Synthese Library, 1962)