Opérateurs de mise en mémoire et traductions de Gödel, Archiv for Mathematical Logic (30 (1990)

by J-L Krivine