TY  - BOOK
AU  - Arnold A
AU  - Niwinski D
TI  - Rudiments of Miu-calculus
SN  - 0-444-50620-9
U1  - 511.3 
PY  - 2001///
CY  - Amsterdam
PB  - Elsevier
KW  - Lattices
ER  -