Logical Foundations of Computer Science
Sergei Artemov, Anil Nerode
Logical Foundations of Computer Science - Springer Springer 2020
9783030367558
EBOOK
Logical Foundations of Computer Science - Springer Springer 2020
9783030367558
EBOOK
