Basic functions and operations on functions (1989)

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