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