@MISC{ZF_LANG.MIZ,
  AUTHOR = {Bancerek, Grzegorz},
  TITLE = {A Model of {ZF} Set Theory Language},
  DAY = {04},
  MONTH = {April},
  YEAR = {1989},
  ADDRESS1 = {Warsaw University\\Bia{\l}ystok},
  SUMMARY = {The goal of this article is to construct a language of the ZF set theory
and to develop a notational and conceptual base which facilitates
a convenient usage of the language.}}

