Bücher — temporal logic

RU
Diskrete Mathematik. Formale logische Systeme und Sprachen

Diskrete Mathematik. Formale logische Systeme und Sprachen

A

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

Algorithmen und Theorie