Formal methods: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic - Beth, Evert W. (Dordrecht: D. Riedel Publishing, 1962, 1962)
Includes bibliography and index
Keywords: Logic, Symbolic and mathematical