Glivenko's translation

Summary