Functions and their basic properties (2003)

by Czesław Byliński
Venue:JOURNAL OF FORMALIZED MATHEMATICS