Functions and their basic properties (2003)

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