Révision 166 CSL17/main.tex

main.tex (revision 166)
58 58 
\input{intro}
59 59 
\input{preliminaries}
60 60 
\input{sequence-coding}
61 
\input{pv-theories}
62 61 
\input{arithmetic}
62 
\input{soundness}
63 
\input{completeness}
64 
\input{further}
63 65 

  		





  64
  66
  
    
\input{conclusions}


  		





  65
  67
  
    

  		





  
  68
  
    
\newpage


  		





  
  69
  
    
\appendix


  		





  
  70
  
    
\input{pv-theories}	


  		





  66
  71
  
    

  		





  67
  72
  
    
%\subparagraph*{Acknowledgements.}


  		





  68
  73
  
    
%


  		












Formats disponibles :
  Unified diff