@MISC{CQC_THE2.MIZ,
  AUTHOR = {Darmochwa{\l}, Agata},
  TITLE = {Calculus of Quantifiers. {D}eduction Theorem},
  DAY = {24},
  MONTH = {October},
  YEAR = {1990},
  ADDRESS1 = {Warsaw University\\Bia{\l}ystok},
  SUMMARY = {Some tautologies of the Classical Quantifier Calculus.
The deduction theorem is also proved.}}

