Pudlak, Pavel <br/><br/>
Logical foundations of mathematics and computational complexity: A gentle introduction 

 - Heidelberg  Springer  2013 
 - xxiv, 695 p. 
<br/><br/><label>Dewey Class. No.: </label>511.3 P962L