Text this: Five papers on logic foundations /