Rudiments of [mu]-calculus
By: A. Arnold, D. Niwiński.
Contributors: Niwiński, Damian.
Edition: 1st ed.
Series: Studies in logic and the foundations of mathematics,; v. 146
Publisher: Elsevier
Published: 2001
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 277
Subjects: Algebraic logic.; Monotonic functions.; Fixed point theory.; Lattice theory.; Machine theory.
Notes: Includes bibliographical references (p. [269]-273) and index.