@MISC{VALUAT_1.MIZ,
  AUTHOR = {Woronowicz, Edmund},
  TITLE = {Interpretation and Satisfiability in the First Order Logic},
  DAY = {01},
  MONTH = {June},
  YEAR = {1990},
  ADDRESS1 = {Warsaw University\\Bia{\l}ystok },
  SUMMARY = {The main notion discussed is satisfiability. Interpretation and some 
auxiliary concepts are also introduced.}}

