000 00491nam a2200181Ia 4500
008 191130s1997##################000#0#eng##
020 _a9788876422836
040 _aACL
_cACL
082 _a515LEN
100 _aLenzi, Giacomo
245 _aThe mu-calculus and the hierarchy problem
_cGiacomo Lenzi
260 _aParis
_bEdizioni Della Normale
_c1997
300 _avii, 94 p
650 _aMathematics
990 _a5ced8690ac10000c241195a789d66361
991 _a175423
999 _c59807
_d59807