01319nam a2200349 i 4500991003279989707536m d cr cn|||||||||080617s2001 ne a sb 001 0 eng d97804445062070444506209b13660020-39ule_instDip.to Matematicaeng511.32422Arnold, André627647Rudiments of [mu]-calculus[e-book] /A. Arnold, D. NiwińskiAmsterdam ;New York :Elsevier,2001xvii, 277 p. :ill. ;23 cmStudies in logic and the foundations of mathematics,0049-237X ;v. 146Includes bibliographical references (p. [269]-273) and indexAlgebraic logicMonotonic functionsFixed point theoryLattice theoryMachine theoryNiwiński, DamianScienceDirecthttp://www.sciencedirect.com/science/publication?issn=0049237X&volume=146An electronic book accessible through the World Wide Web; click for information.b1366002003-03-2229-01-08991003279989707536Rudiments of -calculus1213904UNISALENTOle01329-01-08m@ -engne 00