Παραπομπή σε μορφή APA (7η εκδ.)

Beth, E. W. (1962). Formal methods: An introduction to symbolic logic and to the study of effective operations in arithmetic and logic. D. Reidel.

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (8th εκδ.)

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