Algorithmic mathematics. (2016) - Hougardy, Stefan, 1967-
No abstract available