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

Bibliotek som har denne