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 Pub. Co.; Gordon and Breach
Published: 1962
Place of publication: Dordrecht; New York
Language: eng
Number of pages: 170
Subjects: Logic, Symbolic and mathematical
Notes: Includes bibliography.