TY  - GEN
T1  - On the extraction of computational content from noneffective convergence proofs in analysis /
AU  - Safarik, Pavol,
CN  - QA9.54
ID  - 957412
KW  - Proof theory.
SN  - 9783832591601 (e-book)
TI  - On the extraction of computational content from noneffective convergence proofs in analysis /
LK  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=5850406
UR  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=5850406
ER  -