@MISC{Byliński01partialfunctions, author = {Czesław Byliński}, title = {Partial Functions}, year = {2001}}
... this article we prove some auxiliary theorems and schemes related to the articles: [1] and [2].
partial function denote set mml identifier non empty set org jfm vol1 partfun1 following rule auxiliary theorem