BETH, E.W., Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic an logic.
(XIV) 170 pp. Cloth. Bibliography. (SL) *spine discoloured, previous owner's name on endpaper, good condition*
€ 15.00