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