On the extraction of computational content from noneffective convergence proofs in analysis / / Pavol Safarik.
Saved in:
VerfasserIn: | |
---|---|
Place / Publishing House: | Berlin : : Logos Verlag,, [2014] 2014 |
Year of Publication: | 2014 |
Language: | English |
Online Access: | |
Physical Description: | 1 online resource (164 pages) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Bibliography: | Includes bibliographical references. |
---|---|
ISBN: | 9783832537654 9783832591601 (ebook) |
Hierarchical level: | Monograph |
Statement of Responsibility: | Pavol Safarik. |