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)
8 by tosh | 1 comments on Hacker News.