Smullyan, Arthur. <br/><br/>
Fundamentals of logic. 

 - Englewood Cliffs, N. J.  Prentice-Hall  1962.