Dependent Choice in Explicit Mathematics. Probst, D. Master's thesis, Universität Bern, Institut für Informatik und angewandte Mathematik, 1999.
Dependent Choice in Explicit Mathematics [pdf]Paper  bibtex   

Downloads: 0