Logical Foundations of Computer Science

Sergei Artemov, Anil Nerode

Logical Foundations of Computer Science - Springer Springer 2022

9783030931001

EBOOK