Modern Logic P by Graeme Forbes