Modern Perspectives in Type-Theoretical Semantics [electronic resource] / edited by Stergios Chatzikyriakidis, Zhaohui Luo..    Springer eBooks.  Cham : Springer International Publishing : Imprint: Springer, 2017. . VIII, 296 p. 49 illus.
Plný text pro studenty a zaměstnance UPOL