计算机逻辑

计算机逻辑描述应用于计算机科学和人工智能的逻辑此右己针宣飞。