The logic manual - Halbach, Volker (Oxford University Press, 2010)