• 图书
  • 标签：formal logic systems

书籍 — formal logic systems

RU
离散数学。形式逻辑系统与语言

离散数学。形式逻辑系统与语言

A

С. М. Авдошин, А. А. Набебин

算法与理论