A course of Mathematical Logic and Theory of Algorithms as a mathematical background of modern cryptology | IEEE Conference Publication | IEEE Xplore