TY  - GEN
AU  - Schwichtenberg, Helmut,
AU  - Wainer, S. S.
CN  - QA9.59
CY  - Cambridge :
DA  - 2012.
ID  - 847396
KW  - Computable functions.
KW  - Proof theory.
LK  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=833389
PB  - Cambridge University Press,
PP  - Cambridge :
PY  - 2012.
T1  - Proof and computations
TI  - Proof and computations
UR  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=833389
ER  -