Does anyone know what happened to Principia Mathematica? www.principiamathematica.com seems dead. E.g. see: http://web.archive.org/web/20011128085626/http://www.principiamathematica.co m/ Morten H Pedersen