Formal Semantics in Modern Type Theories

Par : Stergios Chatzikyriakidis, Zhaohui Luo
    • PrésentationRelié
    • FormatGrand Format
    • Poids0.666 kg
    • ISBN978-1-78630-128-4
    • EAN9781786301284
    • Date de parution17/02/2021
    • CollectionCognitive Science. Logic lingu
    • ÉditeurCoédition ISTE/Wiley