A nice website for those interested in the subject. Logic Matters | Logic, enthusiasms, sceptical thoughts, and a little LaTeX geekery