Functions and their basic properties (2003)

by Czesław Byliński
Venue:JOURNAL OF FORMALIZED MATHEMATICS
Citations:1257 - 32 self