Treatise on Intuitionistic Type Theory
by Johan Georg Granström
LogicPhilosophyMathematicsGoodAvailable
AuthorJohan Georg Granström
ConditionGood
LocationSchweinfurt, Germany
Price—
StatusAvailable
Description
This book presents a formal and systematic exposition on Intuitionistic Type Theory, a foundational system in mathematical logic and computer science. It likely explores the philosophical and logical aspects of this theory.
