000 | 01691cam a2200457 i 4500 | ||
---|---|---|---|
001 | ocn990118199 | ||
003 | OCoLC | ||
005 | 20230306160858.0 | ||
008 | 170911s2017 riu b 001 0 eng | ||
010 | _a 2017040911 | ||
020 |
_a9781470426576 _q(alk. paper) |
||
020 |
_a1470426579 _q(alk. paper) |
||
029 | 1 |
_aAU@ _b000060756573 |
|
029 | 1 |
_aCHBIS _b011046235 |
|
029 | 1 |
_aCHVBK _b495430072 |
|
035 | _a(OCoLC)990118199 | ||
040 |
_aDLC _beng _erda _cDLC _dYDX _dBTCTA _dOCLCF _dCGU _dOCLCQ _dFDA _dOCLCO |
||
042 | _apcc | ||
082 | 0 | 0 | _a511.3 |
090 | _acolm | ||
100 | 1 |
_aHirschfeldt, Denis Roman, _eauthor. |
|
245 | 1 | 0 |
_aInduction, bounding, weak combinatorial principles, and the homogeneous model theorem / _cDenis R. Hirschfeldt, Karen Lange, Richard A. Shore. |
263 | _a1709 | ||
264 | 1 |
_aProvidence, Rhode Island : _bAmerican Mathematical Society, _c[2017] |
|
300 |
_a101 pages ; _c26 cm. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_aunmediated _bn _2rdamedia |
||
338 |
_avolume _bnc _2rdacarrier |
||
490 | 1 |
_aMemoirs of the American Mathematical Society, _x0065-9266 ; _vvolume 249, number 1187 |
|
504 | _aIncludes bibliographical references and index. | ||
650 | 0 | _aReverse mathematics. | |
650 | 0 |
_aComputable functions. _937437 |
|
650 | 0 |
_aDecidability (Mathematical logic) _937439 |
|
697 |
_923736 _aColeções de Monografias. |
||
700 | 1 |
_aLange, Karen, _d1980- _eauthor. |
|
700 | 1 |
_aShore, Richard A., _d1946- _eauthor. _933211 |
|
830 | 0 |
_aMemoirs of the American Mathematical Society ; _vno. 1187. _940302 |
|
942 |
_2ddc _cBK _n0 |
||
948 | _hNO HOLDINGS IN P5A - 55 OTHER HOLDINGS | ||
999 |
_c39708 _d39708 |