• Brattka, Vasco and Rakotoniaina, Tahina, On the Uniform Computational Content of Ramsey's Theorem, Journal of Symbolic Logic (accepted for publication) (2017)


  • Rakotoniaina, Tahina, On the Computational Strength of Ramsey's Theorem, PhD thesis, Department of Mathematics and Applied Mathematics, University of Cape Town, Rondebosch, South Africa, 2015
This publication list has currently 3 entries