511.36  / C917l <br/>
Cunningham, Daniel W. <br/>
       A logical introduction to proof 
 / Danniel W. Cunningham 
 .- New York: Springer,  2012 
 .- xv, 356p . 
<br><u>ISBN:</u> 9781461436300 
<br/><u>Subject Headings:</u> <br/>Proof theory;<br/>Mathematical logic;
<br><U>Copy Details:</u><br> Acc. No.: <b>A176866</b>, Full Call No.: 511.36 C917l,   Item type:  Books , Location: General Stacks, <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>