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 |