Treatise on Intuitionistic Type Theory
by Johan Georg Granström
LogicPhilosophyMathematicsGoodAvailable
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.
Schweinfurt, Germany