Table of Contents

Intuitionistic Type Theory

From Stanford Encyclopedia of Philosophy - Reading time: 49 min
FactSeek © by EncyclosphereKSF