TY - GEN AU - Nievergelt,Yves TI - Foundations of logic and mathematics: Applications to computer science and cryptography SN - 0817642498 (alk. paper) U1 - 511.3 PY - 2002/// CY - Boston PB - Birkhauser KW - Symbolic and mathematical Logic KW - Set theory KW - Number theory KW - Computer science KW - Mathematics N1 - Contine Bibliografie si Index ER -