000 00451nam a2200181 a 4500
001 155606
003 OSt
005 20210921124150.0
008 180310 ### HIN
020 _a9780486477510
082 _a511.35
_bG62R
100 _aGoodstein, R. L.
245 _aRecursive analysis
_cby R L Goodstein
260 _aNew York
_bDover Publications
_c2010
300 _avi, 138p.
653 _aRecursion theory
942 _2ddc
_cBK
999 _c18048
_d18048