The complex numbers (1990)

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