On the extraction of computational content from noneffective convergence proofs in analysis
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| PhysicalDescription: | vi, 150 strán 21 cm |
| Published: |
Berlin
Logos Verlag
2014
|
| ISBN: | 9783832537654 |
| Subjects: |
| Physical Description: | vi, 150 strán 21 cm |
|---|---|
| ISBN: | 9783832537654 |
| Bibliography: | Bibliografia na strane [143]-150 |
