Читать книгу Formal Semantics in Modern Type Theories - Stergios Chatzikyriakidis - Страница 3
Оглавление
Logic Linguistics and Computer Science Set
coordinated by
Christian Retoré
Volume 2
Formal Semantics in Modern Type Theories
Stergios Chatzikyriakidis
Zhaohui Luo
