LEADER 01319nam a2200349 i 4500
001 991003279989707536
006 m        d        
007 cr cn|||||||||
008 080617s2001    ne a    sb    001 0 eng d
020   $a9780444506207
020   $a0444506209
035   $ab13660020-39ule_inst
040   $aDip.to Matematica$beng
082 04$a511.324$222
100 1 $aArnold, André$0627647
245 10$aRudiments of [mu]-calculus$h[e-book] /$cA. Arnold, D. Niwi?ski
260   $aAmsterdam ;$aNew York :$bElsevier,$c2001
300   $axvii, 277 p. :$bill. ;$c23 cm
440  0$aStudies in logic and the foundations of mathematics,$x0049-237X ;$vv. 146
504   $aIncludes bibliographical references (p. [269]-273) and index
650  0$aAlgebraic logic
650  0$aMonotonic functions
650  0$aFixed point theory
650  0$aLattice theory
650  0$aMachine theory
700 1 $aNiwi?ski, Damian
856 40$3ScienceDirect$uhttp://www.sciencedirect.com/science/publication?issn=0049237X&volume=146$zAn electronic book accessible through the World Wide Web; click for information
907   $a.b13660020$b03-03-22$c29-01-08
912   $a991003279989707536
996   $aRudiments of -calculus$91213904
997   $aUNISALENTO
998   $ale013$b29-01-08$cm$d@  $e-$feng$gne $h0$i0