2 PhD studentships, 2 research fellowships, Foundation of Logical Consequence Project, St Andrews