Beth, E. W., & Beth, E. W. (1962). Formal methods: An introduction to symbolic and to the study of effective operations in arithmetic and logic. Dordrecht, Holland: Reidel.
Chicago Style CitationBeth, Evert Willem, and Evert Willem Beth. Formal Methods: An Introduction to Symbolic and to the Study of Effective Operations in Arithmetic and Logic. Dordrecht, Holland: Reidel, 1962.
MLA CitationBeth, Evert Willem, and Evert Willem Beth. Formal Methods: An Introduction to Symbolic and to the Study of Effective Operations in Arithmetic and Logic. Dordrecht, Holland: Reidel, 1962.
Warning: These citations may not always be 100% accurate.