Treatise on Intuitionistic Type Theory
ISBN: 9789400717367
Information Available:
Summary
Author Notes
Inside Flap
Cover Image
Copyright held by Baker & Taylor.