LEADER 01337nam a2200313 i 4500
001 991003277789707536
006 m        d        
007 cr cn|||||||||
008 080616s1996    ne a    sb    001 0 eng d
020   $a9780444823069
020   $a0444823069
035   $ab13659649-39ule_inst
040   $aDip.to Matematica$beng
082 04$a511.3$222
100 1 $aCantini, Andrea$045544
245 10$aLogical frameworks for truth and abstraction$h[e-book] :$ban axiomatic study /$cAndrea Cantini
260   $aAmsterdam ;$aNew York :$bElsevier Science,$c1996
300   $axii, 461 p. :$bill. ;$c23 cm
440  0$aStudies in logic and the foundations of mathematics ;$v135
504   $aIncludes bibliographical references (p. [425]-440) and index
650  0$aLogic, Symbolic and mathematical
650  0$aTruth
856 40$3ScienceDirect$uhttp://www.sciencedirect.com/science/publication?issn=0049237X&volume=135$zAn electronic book accessible through the World Wide Web; click for information
856 42$zPublisher description$uhttp://catdir.loc.gov/catdir/enhancements/fy0601/96004681-d.html
907   $a.b13659649$b03-03-22$c29-01-08
912   $a991003277789707536
996   $aLogical frameworks for truth and abstraction$9851553
997   $aUNISALENTO
998   $ale013$b29-01-08$cm$d@  $e-$feng$gne $h0$i0