TY - GEN AU - Exner, George R., CN - QA9.54 ID - 1363947 KW - Proof theory. LK - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3076538 SN - 9781461239987 (e-book) T1 - An accompaniment to higher mathematics / TI - An accompaniment to higher mathematics / UR - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3076538 ER -