TY  - BOOK
AU  - Nievergelt, Yves
TI  - Foundations of logic and mathematics : applications to computer science and cryptography
SN  - 9780817642495
SN  - 200105255
U1  - 511.3 BIR 
PY  - 2002///
CY  - Boston
PB  - Birkhauser
KW  - Computer science - Mathematics
KW  - Logic, Symbolic and mathematical
KW  - Number theory
KW  - Set theory
N1  - Includes bibliographical references (p. [399]-404) and index
ER  -