Logical Foundations of Computer Science

Sergei Artemov, Anil Nerode

Logical Foundations of Computer Science - Springer Springer 2020

9783030367558

EBOOK