Find a copy in the library
Finding libraries that hold this item...
Details
| Additional Physical Format: | Online version: Beth, Evert Willem. Formal methods. Dordrecht, D. Reidel Pub. Co.; New York, Gordon and Breach [1962] (OCoLC)608579235 |
|---|---|
| Document Type: | Book |
| All Authors / Contributors: |
Evert Willem Beth |
| OCLC Number: | 373057 |
| Description: | 170 p. illus. 23 cm. |
| Series Title: | Synthese library. |
Reviews
User-contributed reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.

Tags
Add tags for "Formal methods; an introduction to symbolic logic and to the study of effective operations in arithmetic and logic.".
Be the first.
