Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic
Evert W. Beth
Bok Engelsk 1962 E.W. Beth
Utgitt | Dordrecht : Reidel , 1962
|
---|---|
Omfang | XIV, 170 s. : diagr.
|
Emner |
Utgitt | Dordrecht : Reidel , 1962
|
---|---|
Omfang | XIV, 170 s. : diagr.
|
Emner |