Boolos,  George S. <br/><br/>
Computability and logic / 
Boolos, George S., Jeffrey, Richard C. 
<br/><br/><label>Dewey Class. No.: </label>511.3 B63C