Beth, E.W. <br/><br/>
Formal Methods, An Introduction To Symbolic Logic and To The Study of Effective Operations In Arithmetic and Logic. 

<br/><br/><label>Dewey Class. No.: </label>510.1   / B561