Szabo M.E <br/><br/>
Studies in Logic and The Foundations of Mathematics Vol-88 
/ by Algebra of Proofs 
 - New York  North Holland  1978 
 - 295p.