Cita APA

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.

Citación estilo Chicago

Beth, Evert Willem, y Evert Willem Beth. Formal Methods: An Introduction to Symbolic and to the Study of Effective Operations in Arithmetic and Logic. Dordrecht, Holland: Reidel, 1962.

Cita MLA

Beth, Evert Willem, y Evert Willem Beth. Formal Methods: An Introduction to Symbolic and to the Study of Effective Operations in Arithmetic and Logic. Dordrecht, Holland: Reidel, 1962.