An introduction to mathematical logic and type theory

Författare
Peter Bruce Andrews
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat