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