TY  - BOOK
AU  - Nievergelt Yves
TI  - Foundations of logic and mathematics:  Application To Computer Science and Cryptography     
U1  - B:(R1), P2 
PY  - 2002///
ER  -