01137nam0-2200385-i-450-99000950418040332120111215114920.00-444-89505-1000950418FED01000950418(Aleph)000950418FED0100095041820111215d1997----km-y0itay50------baengNLa---a---001yyAdmissibility of logical inference rulesVladimir V. RybakovAmsterdamElsevier1997617 p.24 cmStudies in logic and the foundations of mathematics136Logica matematica e fondamentiPresentazione di ricercheLogica proposizionale classicaLogica classica del primo ordine511.321itaRybakov,Vladimir V.514741ITUNINAREICATUNIMARCBK990009504180403321C-30-(13624963MA1MA103-0203B0503B10Admissibility of logical inference rules851490UNINA