Type-Logical Syntax

Författare
Yusuke Kubota
Språk
Engelska
Förlag År Ort Om boken ISBN
MIT Press Utgivningsland okänt / Ej specificerat