Artemov, Sergei
Logical foundations of Computer Science - Springer 2016 - 406 p. - Lecture Notes in Computer Science 9537 .
9783319276823
681 / LNCS
Logical foundations of Computer Science - Springer 2016 - 406 p. - Lecture Notes in Computer Science 9537 .
9783319276823
681 / LNCS