Treatise on Intuitionistic Type Theory [electronic resource] / by Johan Georg Granström, Johan Georg Granström.
Material type: Computer fileSeries: Logic, Epistemology, and the Unity of Science ; 22Publication details: Dordrecht : Springer Science+Business Media B.V., 2011.Description: v.: digitalISBN:- 9789400717367
Reviews from LibraryThing.com:
No physical items for this record
There are no comments on this title.