511.326  / SO68L <br/>
Sorensen,Morten Heine <br/>
       LECTURES ON THE CURRY-HOWARD ISOMORPHISM 
 / 
 .-  Elsevier, Amsterdam,  2006 
 .- xiv,442 . 
.- ( Studies In Logic And The Foundations Of Mathematics     
<br><u>ISBN:</u> 0444520775 
<br/><u>Subject Headings:</u> <br/>Curry-Howard Isomorphism;<br/>Lambda Calculus;<br/>Proof Theory;
<br/><U>Author Added Entry: </u><br/>Urzyczyn,Pawel;
<br><U>Copy Details:</u><br> Acc. No.: <b>A157357</b>, Full Call No.: 511.326 SO68L,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>