Skip to main content

A Transfinite Type Theory with Type Variables

  • 1st Edition, Volume 37 - April 1, 2000
  • Author: Lev D. Beklemishev
  • Language: English
  • eBook ISBN:
    9 7 8 - 0 - 0 8 - 0 9 5 7 5 7 - 9
A Transfinite Type Theory with Type Variables

Purchase options

LIMITED OFFER

Save 50% on book bundles

Immediately download your ebook while waiting for your print delivery. No promo code needed.

Image of books

Institutional subscription on ScienceDirect

Request a sales quote