Troelstra, A S . <br/><br/>
Basic Proof Theory /  Textual Documents 
A S Troelstra,H Schwichtenberg. 
 - 1st ed / 
 - Cambridge :  Cambridge University Press ,  1996. 
 - ix,343 p ;  23 cm. 
<br/><br/><label>ISBN: </label> HB 
<br/><br/><label>Subjects--Index Terms: </label>Mathematics 
<br/><br/><label>Dewey Class. No.: </label>519  / Tr 74 Ba