Formal methods an introduction to symbolic logic and to the study of effective operations in arithmetic and logic - Beth E W (Dordrecht D.reidel pub, 1962)
Keywords: Logic; Symbolic