Text this: Five papers on logic, algebra and number theory /