Szabo, M. E. <br/><br/>
Algebra of proofs/ 
M. E. Szabo. 
 - Amsterdam ;  New York:  New York:  North-Holland,  Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland,  1978. 
 - xii, 297 p. ;  23 cm. 
 - Studies in logic and the foundations of mathematics  v. 88. .
<br/><br/> Includes indexes. 
<br/><br/>Bibliography: p. 278-284. 
<br/><br/><label>ISBN: </label>0720422868 
<br/><br/><label>LCCN: </label>77000706 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory<br/>Categories (Mathematics)<br/>Combinatory logic.
<br/><br/><label>Dewey Class. No.: </label>511.3  / S996a