Formal methods theory and practice
Scharbach, P. N.
London BSP Professional
1989
Electronic digital computers
Logic, Symbolic and mathematical.