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

Description
Item Description:	Electronic resource.
Physical Description:	xvii, 277 pages : illustrations
Bibliography:	Includes bibliographical references (pages [269]-273) and index.
ISBN:	0585474338 (electronic bk.)
ISSN:	0049-237X ;