glivenko's theorem - German English Dictionary