@MISC{HILBERT1.MIZ,
  AUTHOR = {Grabowski, Adam},
  TITLE = {{H}ilbert Positive Propositional Calculus},
  SECTION1 = {Definition of the Language},
  SECTION2 = {The Tautologies of the Hilbert Calculus - Implicational Part},
  SECTION3 = {Conjunctional Part of the Calculus},
  DAY = {20},
  MONTH = {February},
  YEAR = {1999},
  ADDRESS1 = {University of Bia{\l}ystok}}

