Szabo, M. E. <br/><br/>
Algebra of proofs / 
M. E. Szabo 
 - Amsterdam :  North-Holland Pub.,  1978 
 - xii, 297 p. ;  23 cm. 
 - Studies in logic and the foundations of mathematics ;  v. 88 .
<br/><br/> Includes index 
<br/><br/>Bibliography: p. 278-284 
<br/><br/><label>ISBN: </label>0720422868 0720422000 :  f 100.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory<br/>Categories (Mathematics)<br/>Combinatory logic
<br/><br/><label>Dewey Class. No.: </label>510.1