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