Lewis, C. I. <br/><br/>
Survey of symbolic logic / 

 -  1960. 
 - Dover books on advanced mathematics .