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 |