Expressive Power first-order

Document Sample
Expressive Power first-order Powered By Docstoc
					     Mikhail G. Peretyat’kin




 Expressive Power
                 of
      first-order
PREDICATE                 LOGIC



          Internal Volume of
  Expressive Possibilities of Formulas
    in First-Order Predicate Logic
                  and
 Global Structure of Predicate Calculi




        December ◦ 2008

				
DOCUMENT INFO