Title: Rudiments of [mu]-calculus
First published: 2001
Subjects: Machine theory, Fixed point theory, Lattice theory, Monotonic functions, Algebraic logic, Calculus
LC classification: QA10 .A76 2001