511.3  / P962l <br/>
Pudlak, Pavel <br/>
       Logical foundations of mathematics and computational complexity : a gentle introduction 
 / Pavel Pudlak 
 .- Cham: Springer,  2013 
 .- xiv, 695p . 
.- ( Springer Monographs In Mathematics     
<br><u>ISBN:</u> 9783319001180 
<br/><u>Subject Headings:</u> <br/>Logic, Symbolic and mathematical;<br/>Computational complexity;<br/>Mathematics;<br/>Computer software;
<br><U>Copy Details:</u><br> Acc. No.: <b>A179448</b>, Full Call No.: 511.3 P962l,   Item type:  Books , Location: General Stacks, <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>