Rudiments of [mu]-calculus
By: A. Arnold, D. Niwiński
Contributors: Niwiń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