Révision 222 CSL17/main.tex
| main.tex (revision 222) | ||
|---|---|---|
| 93 | 93 |
\input{appendix-arithmetic}
|
| 94 | 94 |
%\input{pv-theories}
|
| 95 | 95 |
\input{appendix-sequent-calculus}
|
| 96 |
\input{appendix-soundness}
|
|
| 97 |
\input{appendix-completeness}
|
|
| 96 | 98 |
|
| 97 | 99 |
\end{document}
|
| 98 | 100 |
\grid |
Formats disponibles : Unified diff