"Rudiments of μ-Calculus (Studies in Logic and the Foundations of Mathematics) " - читать интересную книгу автора (André Arnold, Damian Niwiński)