APA

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

Chicago

Beth Evert Willem, . 1962. Formal methods: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. Dordrecht: D. Reidel Publishing.

Harvard

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

MLA

Beth Evert Willem, . Formal methods: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. Dordrecht: D. Reidel Publishing. 1962.