A Transfinite Type Theory with Type Variables

Författare
P. B. Andrews
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Elsevier 1965 Utgivningsland okänt / Ej specificerat