Reinhard Kahle THE APPLICATIVE REALM Textos de Matem´atica Volume 40 Departamento de Matem´atica da Universidade de Coimbra Portugal 2007