Open Internet by MindsNet

is logic dead as a field in Maths departments?