Révision 156 CSL17/arithmetic.tex

arithmetic.tex (revision 156)
1 
\section{A two-sorted arithmetic for the polynomial hierarchy}
1 
\section{A two-sorted arithmetic for the polynomial hierarchy}
2 

  		





  
  3
  
    
(Here use a variation of S12 with sharply bounded quantifiers and safe quantifiers)


  		












Formats disponibles :
  Unified diff