• Books
  • Tag: formal logic systems

Books — formal logic systems

RU
Discrete Mathematics. Formal Logical Systems and Languages

Discrete Mathematics. Formal Logical Systems and Languages

A

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

Algorithms and theory