Rudiments of mu-calculus (Studies in Logic and the Foundations of Mathematics)
Contributors: A. Arnold (Editor); D. Niwinski (Editor)
Publisher: North Holland
Published: April 1, 2001
Language: eng
Number of pages: 296
ISBN-13: 9780444506207
First sentence: Let E, be an ordered set.