This page has moved to https://the21stcenturymonads.net/logic/.