Search
Springer
Elementary algebraic specifications of the rational complex numbers
Vol. 4060
Jan A. Bergstra, John V Tucker
Volume
Title
Author