Basic functions and operations on functions (1989)

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