Functions and their basic properties (2003)

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

Document Versions

Functions and their basic properties –Czesław Byliński — 2003 — JOURNAL OF FORMALIZED MATHEMATICS
Functions and their basic properties –Czesław Byliński — 1989 — Journal of Formalized Mathematics