Functions and their basic properties (1989)

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