Text this: Eighteen papers on logic and theory of functions /