New top story on Hacker News: Single Implicative Axioms for Groups and for Abelian Groups (1996)

Single Implicative Axioms for Groups and for Abelian Groups (1996)
7 by tosh | 1 comments on Hacker News.