News for hackers. Stuff that matters.

A comment on Foundations of Mathematics (2015) [pdf]. Parent comment

Re:Foundations of Mathematics (2015) [pdf] by nextos on Monday June 03, 2019 @02:30PM (#20086497)
Thanks. I know about Gérard Huet, but not about this particular publication.
[ Parent | on HN ]

There are no comments on this comment yet.