[ Back to Record ]

  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

[ Back to Record ]