Rudiments of [mu]-calculus
by
 
Arnold, A. (André), 1945-

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


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book256563-1001ONLINEElektronik Kütüphane