00702nam0 2200253 450 991106132720332120260210153239.0978052106842020260210d2001----km y0itay50 baengGBy 001yyStructural Proof TheorySara Negri, Jan von PlatoCanbridgeCanbridge University Press2001XVII, 256 p.Negri,Sara1893016von Plato,Jan766770ITUNINAREICATUNIMARCBK9911061327203321160 NEGS 012026/88FLFBCFLFBCStructural Proof Theory4540312UNINA