The MScLogic website is compiled with the utmost care. Nevertheless, errors or omissions may occur. Neither the ILLC nor the University of Amsterdam can be held responsible for the information on the MScLogic website or for the consequences of its use. No rights may be derived from the content of the MScLogic website.