André Arnold

Bibliography

Arnold, André and Niwiński, Damian. 2001. Rudiments of \(\mu\)-Calculus. Studies in Logic and the Foundations of Mathematics n. 146. Amsterdam: North-Holland Publishing Co.