The complex numbers (1990)

by Czesław Byliński
Venue:Journal of Formalized Mathematics
Citations:104 - 1 self