An edition of Rudiments of [mu]-calculus (2001)
By A. Arnold
Publish Date
2001
Publisher
Elsevier
Language
eng
Pages
277
Description:
subjects: Machine theory, Fixed point theory, Lattice theory, Monotonic functions, Algebraic logic, Calculus