Text this: Reports on mathematical logic