Typisch Mensch führt in einer verständlichen und systematischen Weise in die Typentheorie ein, di...