Troestra A.S <br/><br/>
Basic proof theory/A.S.Troelstra[and]H.Schwich-tenberg 
S Troestra 
 - 2nd 
 - Cambridge  C.U.P  2000 
<br/><br/><label>ISBN: </label>9780521779111 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematical Logic
<br/><br/><label>LC Class. No.: </label>QA 9 .A5T76 2000