Formal methods an introduction to symbolic logic and to the study of effective operations in arithmatic and logic (Dordrecht D Reidel, 1962)
Keywords: PHILOSOPHY