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

מאת Beth, Evert W.
יצא לאור 1962