2 options
Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic / Evert W. Beth.
LIBRA 510.12 B468.4
Available from offsite location
LIBRA 510.12 B468.4
Available from offsite location
- Format:
- Book
- Author/Creator:
- Beth, Evert Willem.
- Language:
- English
- Subjects (All):
- Logic, Symbolic and mathematical.
- Physical Description:
- 170 pages ; 23 cm
- Place of Publication:
- Dordrecht, Holland : D. Reidel ; New York : Gordon and Breach, 1962.
- Notes:
- Bibliography: pages 164-167.
- OCLC:
- 373057
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.