Formal methods;: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic.
Beth, Evert Willem
Formal methods;: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. - Dordrecht; New York: D. Reidel; Gordon & Breach, [1962]. - 170 p.: illus.; 23 cm. - Synthese library. .
Includes bibliography.
62003731 /L
Logic, Symbolic and mathematical.
511.3 / B562f
Formal methods;: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. - Dordrecht; New York: D. Reidel; Gordon & Breach, [1962]. - 170 p.: illus.; 23 cm. - Synthese library. .
Includes bibliography.
62003731 /L
Logic, Symbolic and mathematical.
511.3 / B562f