Logic Manual C by Volker Halbach