No CrossRef data available.
Article contents
Evert W. Beth Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic. Dordrecht, Holland: D. Reidel Publishing Co., 1962. xiv-170 pp.
Review products
Evert W. Beth Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic. Dordrecht, Holland: D. Reidel Publishing Co., 1962. xiv-170 pp.
Published online by Cambridge University Press: 14 March 2022
Abstract
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0031824800044810/resource/name/firstPage-S0031824800044810a.jpg)
- Type
- Book Reviews
- Information
- Copyright
- Copyright © 1966 by The Philosophy of Science Association