511.3  / An27i <br/>
Andrews, Peter B.  <br/>
       An introduction to mathematical logic and type theory: to truth through proof 
 / Peter B. Andrews 
 .- Orlando: Academic Press,  1986 
 .- xv, 304p. . 
.- ( Computer Sience And Applied Mathematics / Edited By Werner Rheinboldt     
<br><u>ISBN:</u> 0120585367 
<br/><u>Subject Headings:</u> <br/>Logic, Symbolic And Mathematical;<br/>Type Theory;
<br><U>Copy Details:</u><br> Acc. No.: <b>A94016</b>, Full Call No.: 511.3 An27i,   Item type:  Books , Location: General Stacks, <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>