Bokus
Lev D. Beklemishev - Transfinite Type Theory with Type Variables, E-bok

E-bok, Engelska, 2000

Transfinite Type Theory with Type Variables

Av Lev D. Beklemishev

2771 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Beskrivning
A Transfinite Type Theory with Type Variables
Produktinformation
  • Utgivningsdatum: 2000-04-01
  • Språk: Engelska
  • Filformat: PDF
  • Kopieringsskydd: LCP
  • ISBN: 9780080957579
  • Förlag: Elsevier Science
Utforska kategorier
Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.