Foundations of logic and mathematics applications to computer science and cryptography - Nievergelt, Yves 1954- (Birkhäuser, 2002)