The Encyclopaedia Logic