Rosenbloom, Paul C. <br/><br/>
Elements of mathematical logic / 

 -  1950. 
 - Dover series in mathematics and physics ed by W Prager .