TY  - GEN
AU  - Hirschfeldt, Denis Roman,
AU  - Lange, Karen,
AU  - Shore, Richard A.,
CN  - QA9.25
ID  - 1368585
KW  - Reverse mathematics.
KW  - Computable functions.
KW  - Decidability (Mathematical logic)
LK  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=5110287
SN  - 9781470441418 (e-book)
T1  - Induction, bounding, weak combinatorial principles, and the homogeneous model theorem /
TI  - Induction, bounding, weak combinatorial principles, and the homogeneous model theorem /
UR  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=5110287
VL  - Volume 249, Number 1187
ER  -