Lev D. Beklemishev

A Transfinite Type Theory with Type Variables (eBook, PDF)

• Format: PDF

Produktbeschreibung

A Transfinite Type Theory with Type Variables

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Elsevier Science & Techn.
• Seitenzahl: 142
• Erscheinungstermin: 1. April 2000
• Englisch
• ISBN-13: 9780080957579
• Artikelnr.: 38123294