Vi har ett dedicerat Logicforum här:

Logic