Information and Knowledge : A Constructive Type-theoretical Approach
ISBN: 9781402061707
Information Available:
Summary
Inside Flap
Cover Image
Copyright held by Baker & Taylor.