000 00463nam a2200193 4500
008 160616s2001 000 0
245 _aRudiments of U-Calculus : (SL 146)
100 _aArnold, A.
100 _aNiwinski, D.
260 _aNetherlands
260 _bNorth-Holland
260 _c2001
300 _a277
440 _aStudies in Logic, 146
020 _a0 444 50620 9
650 _aU-Calculus
942 _cBK
_2BK16920
080 _a510.6 ARN
999 _c16920
_d16920