BETH, Evert Willem, 1962. Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. Dordrecht: Reidel.
Elsevier - Harvard (with titles)Beth, E.W., 1962. Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic, Synthese library. Reidel, Dordrecht.
American Psychological Association 7th editionBeth, E. W. (ca. 1962). Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic [Book]. In Synthese library. Reidel.
Springer - Basic (author-date)Beth EW (1962) Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. Reidel, Dordrecht
Juristische Zitierweise (Stüber) (Deutsch)Beth, Evert Willem, Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic, Dordrecht 1962.