"The Emperor's New Recursiveness: The Epigraph of the Exponential Function ..."

Vasco Brattka (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics