In order to understand logic, it is not enough to read about it: you must experience it for yourself by creating proofs and by defining and building models. Doing this the traditional way, on paper, was fine in another millennium, but now we have electronic devices which can assist greatly in the process. Interactive tools are provided with these notes, allowing you to construct proofs and semantic tableaux online. The great advantage of this is that feedback on any errors you may make is immediate, accurate and customised to your case. We also note Logic for Fun, the companion site to this, which allows you to use logic to specify problems, which is perhaps its most important application.