Nievergelt Yves Foundations of logic and mathematics Application To Computer Science and Cryptography - 2002 Standard No.: 5741 Source: Textual Dewey Class. No.: B:(R1), P2