"logic models provability rather than truth" Dec 31, 2014 • daryoush Nice post on Type System and Logic.