000 00783nam a2200241Ia 4500
008 191130s2002##################000#0#eng##
020 _a9780817642495
022 _a2001052551
040 _aACL
_cACL
082 _a511.3 BIR
100 _aNievergelt, Yves
245 _aFoundations of logic and mathematics : applications to computer science and cryptography
_cYves Nievergelt
260 _aBoston
_bBirkhauser
_cc2002
300 _axvi, 415 p. : ill. ; 26 cm
500 _aIncludes bibliographical references (p. [399]-404) and index
650 _aComputer science - Mathematics
650 _aLogic, Symbolic and mathematical
650 _aNumber theory
650 _aSet theory
990 _a3050077aac10000c6052eb57c585497f
991 _a285595
999 _c187404
_d187404