@MISC{SCHEMS_1.MIZ,
  AUTHOR = {Czuba, Stanis{\l}aw T.},
  TITLE = {Schemes},
  NOTE = {Supported by RPBP.III-24.C10.},
  DAY = {17},
  MONTH = {December},
  YEAR = {1990},
  ADDRESS1 = {Warsaw University\\Bia{\l}ystok},
  SUMMARY = {  Some basic schemes of quantifier calculus are proved.}}

