LEADER 01405nam a2200325 i 4500
001 991003271489707536
006 m        d        
007 cr cn|||||||||
008 070802s1997    ne a    sb    001 0 eng d
020   $a0444895051
020   $a9780444895059
035   $ab13658530-39ule_inst
037   $a122194:126112$bElsevier Science & Technology$nhttp://www.sciencedirect.com
040   $aDip.to Matematica$beng
082 04$a511.3$222
100 1 $aRybakov, Vladimir Vladimir$0627629
245 10$aAdmissibility of logical inference rules$h[e-book] /$cVladimir V. Rybakov
260   $aAmsterdam ;$aNew York :$bElsevier,$c1997
300   $a617 p. :$bill. ;$c24 cm
440  0$aStudies in logic and the foundations of mathematics ;$v136
504   $aIncludes bibliographical references (p. 603-617) and index
650  0$aLogic, Symbolic and mathematical
650  0$aInference
856 40$3ScienceDirect$uhttp://www.sciencedirect.com/science/publication?issn=0049237X&volume=136$zAn electronic book accessible through the World Wide Web; click for information
856 42$zPublisher description$uhttp://catdir.loc.gov/catdir/enhancements/fy0601/96006560-d.html
907   $a.b13658530$b03-03-22$c29-01-08
912   $a991003271489707536
996   $aAdmissibility of logical inference rules$91213866
997   $aUNISALENTO
998   $ale013$b29-01-08$cm$d@  $e-$feng$gne $h0$i0