On some formalized conservation results in arithmetic P. CloteP. HájekJ. Paris OriginalPaper Pages: 201 - 218
Opérateurs de mise en mémoire et traduction de Gödel Jean-Louis Krivine OriginalPaper Pages: 241 - 267