Formal methods

Beth, Evert Willem. Formal methods: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic / Evert W. Beth . - Dordrecht : D. Reidel Publishing Company, 1962 . - xiv, 170 p. tab. 23 cm. - (Synthese library : a series of monographs on the recent development of symbolic logic, significs, sociology of language, sociology of science and knowledge, statistics of language and related fields )
К.: Бібліогр. : c. 164-167, Index