Formal methods
Subtitle: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic
By: by Evert W. Beth.
Series: Synthese library
Publisher: D. Reidel
Published: 1962
Place of publication: Dordrecht, Holland
Number of pages: 170
Subjects: Logic, Symbolic and mathematical
Notes: Includes bibliography.