Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /

بواسطة Beth, Evert W.
منشور في 1962