Alaee Encyclopedia (logic and first philosophy)