Logic Manual P by Volker Halbach