## Elimination of Skolem functions for monotone formulas in analysis (0)

### Cached

### Download Links

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

### Other Repositories/Bibliography

by
Ulrich Kohlenbach

Citations: | 18 - 9 self |