Beth, E.W. Formal Methods, An Introduction To Symbolic Logic and To The Study of Effective Operations In Arithmetic and Logic. Dewey Class. No.: 510.1 / B561