Formal methods : An introduction to symbolic logic and the study of effective operations in arithmetic and logic - Beth, Evert W. (Holland : D. Reidel Publishing Company, 1962)
Includes index.
Keywords: Logic