Super HN

   Multiple Concepts of Equality in the New Foundations of Mathematics [pdf] 2016 (math.ias.edu) 1 point by nill0 6 minutes ago