A link to Volker Halbach's website that accompanies his book 'The Logic Manual', additional material for download.
