Tuesday, December 30, 2014

"logic models provability rather than truth"

Nice  post on Type System and Logic.

No comments: