Curry,  Haskell B. <br/><br/>
Foundations of mathematical logic. / 
Curry, Haskell B. 
<br/><br/><label>Dewey Class. No.: </label>511.3 C937F