000 00448nam a22001457a 4500
020 _a354030911
082 _aR 005.131 AAR-P
100 _aAart Middeldrop, Vincent Van Oostrom
245 _aProcess, Terms and Cycles : Steps on the Road to Infinity
260 _aBerlin
_bSpringer
_c2005
300 _a638p.
_bill
_c21cm.
650 _aComputer Science
650 _aComputer Science Logic and Foundations of Programming.
942 _2ddc
_cREFERENCE
999 _c59417
_d59417