Gianluigi Oliveri, Claudio Ternullo, Stefano Boscolo

Objects, Structures, and Logics - Springer Springer 2022

9783030847067

EBOOK