Reihe Logic, Epistemology, and the Unity of ScienceJohan Georg Granström × Treatise on Intuitionistic Type Theory Johan Georg GranströmSpringer NetherlandSoftcover2013149,79 € Treatise on Intuitionistic Type Theory Johan Georg GranströmSpringer NetherlandHardcover2011149,79 € Treatise on Intuitionistic Type Theory Johan Georg GranströmSpringer NetherlandeBook2011139,09 €
