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


E.W. Beth
Bok Engelsk 1962

Detaljer

Bibliotek som har denne