Formal methods
Subtitle: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic.
Series: Synthese library
Publisher: D. Reidel
Published: 1962
Place of publication: Dordrecht
Language: eng