## Mathematically Strong Subsystems of Analysis With Low Rate of Growth of Provably Recursive Functionals (1995)

### Cached

### Download Links

- [www.brics.dk]
- [www.mathematik.tu-darmstadt.de]
- DBLP

### Other Repositories/Bibliography

by
Ulrich Kohlenbach

Citations: | 36 - 20 self |