01080nam a2200325 i 450099100065438970753620020507171827.0960622s1978 ne ||| | eng 0720422868b10738630-39ule_instLE01300232ExLDip.to Matematicaeng511.3AMS 03FSzabo, M. E.534536Algebra of proofs /M. E. SzaboAmsterdam :North-Holland,1978xii, 297 p. ;23 cm.Studies in logic and the foundations of mathematics, ISSN 0049237X ;88Bibliography: p. 278-284.Includes indexesCategoriesCombinatory logicProof theory.b1073863023-02-1728-06-02991000654389707536LE013 03F SZA11 (1978)12013000051864le013-E0.00-l- 00000.i1082929528-06-02Algebra of proofs911022UNISALENTOle01301-01-96ma -engne 01