Cover image for Rudiments of [mu]-calculus
Title:
Rudiments of [mu]-calculus
Author:
Arnold, A. (André), 1945-
ISBN:
9780444506207

9780585474335
Edition:
1st ed.
Publication Information:
Amsterdam ; New York : Elsevier, 2001.
Physical Description:
1 online resource (xvii, 277 p.) : ill.
Series:
Studies in logic and the foundations of mathematics, v. 146
Series Title:
Studies in logic and the foundations of mathematics, 0049-237X ; v. 146
Subject Term:
Algebraic logic.

Monotonic functions.

Fixed point theory.

Lattice theory.

Machine theory.
Added Author:
Niwiński, Damian.
Electronic Access:
ScienceDirect http://www.sciencedirect.com/science/book/9780444506207
Holds:

Copies:

Library
Click to Sort
Material Type
Click to Sort
Item Barcode
Click to Sort
Shelf Number
Click to Sort
Status
Click to Sort
Item Holds
Click to Sort
Searching...
 E-Book 256563-1001 ONLINE
Searching...