Equational Reasoning in Groups
U Martin
Publisher
University of London. Royal Holloway and Bedford New College. Department of Computer Science
Year
1990
U Martin