Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups
W. McCune and A. D. SandsVolume:
103
Language:
english
Journal:
The American Mathematical Monthly
DOI:
10.2307/2974613
Date:
December, 1996
File:
PDF, 200 KB
english, 1996