Tuesday, December 30, 2014

"logic models provability rather than truth"

Nice  post on Type System and Logic.

Posted by at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)