Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic - Beth, Evert Willem (D. Reidel, 1962)
Περιέχει ευρετήριο.