手机版
テンポラルロジック
【てんぽらるろじっく】
【tenporarurojikku】
时序逻辑
テンポラルロジック
【てんぽらるろじっく】
【tenporarurojikku】
时态逻辑