01405nam a2200325 i 4500991003271489707536m d cr cn|||||||||070802s1997 ne a sb 001 0 eng d04448950519780444895059b13658530-39ule_inst122194:126112Elsevier Science & Technologyhttp://www.sciencedirect.comDip.to Matematicaeng511.322Rybakov, Vladimir Vladimir627629Admissibility of logical inference rules[e-book] /Vladimir V. RybakovAmsterdam ;New York :Elsevier,1997617 p. :ill. ;24 cmStudies in logic and the foundations of mathematics ;136Includes bibliographical references (p. 603-617) and indexLogic, Symbolic and mathematicalInferenceScienceDirecthttp://www.sciencedirect.com/science/publication?issn=0049237X&volume=136An electronic book accessible through the World Wide Web; click for informationPublisher descriptionhttp://catdir.loc.gov/catdir/enhancements/fy0601/96006560-d.html.b1365853003-03-2229-01-08991003271489707536Admissibility of logical inference rules1213866UNISALENTOle01329-01-08m@ -engne 00