Operateurs de mise en memoire et traduction de Godel (1990)

by J-L Krivine
Venue:Arch. Math. Logic