Foundations of logic and mathematics Application To Computer Science and Cryptography - Nievergelt Yves (2002)