Logic Group Preprint Series