Rudiments of [mu]-calculus /

Bibliographic Details
Main Author:	Arnold, A. (André), 1945-
Corporate Author:	NetLibrary, Inc
Other Authors:	Niwiński, Damian
Format:	eBook
Language:	English
Published:	Amsterdam ; New York : Elsevier, 2001.
Edition:	1st ed.
Series:	Studies in logic and the foundations of mathematics. v. 146.
Subjects:	Algebraic logic. Monotonic functions. Fixed point theory. Lattice theory. Machine theory. Logique algébrique. Fonctions monotones. Point fixe, Théorème du. Treillis, Théorie des. Automates mathématiques, Théorie des. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online