Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 6538
    ISBN: 9789400717367
    UPC: 10.1007/978-94-007-1736-7
    Title: Treatise on Intuitionistic Type Theory
    Author: Granström, Johan Georg.
    Publication Info: Springer Netherlands, 2011.
    Item Type: Language material

Additional Resources