|
|
|
|
LEADER |
00815nam a2200229 a 4500 |
001 |
537885 |
005 |
20171111230002.0 |
008 |
011010s2002 maua b 001 0 eng |
020 |
|
|
|a 0817642498 (alk. paper)
|
040 |
|
|
|a DLC
|
050 |
|
|
|a QA9
|b .N53 2002
|
082 |
|
|
|2 21
|a 511.3
|
100 |
1 |
|
|a Nievergelt, Yves
|
245 |
1 |
|
|a Foundations of logic and mathematics :
|b applications to computer science and cryptography /
|c Yves Nievergelt.
|
260 |
1 |
|
|a Boston :
|b Birkhäuser,
|c c2002.
|
300 |
1 |
|
|a xvi, 415 p. :
|b ill. ;
|c 26 cm.
|
504 |
1 |
|
|a Includes bibliographical references (p. [399]-404) and index.
|
650 |
1 |
|
|a Logic, Symbolic and mathematical
|
650 |
1 |
|
|a Set theory
|
650 |
1 |
|
|a Number theory
|
650 |
1 |
|
|a Computer science
|x Mathematics
|
952 |
|
|
|a GrThPMO
|b 59b006186c5ad17d7e5a96f6
|c 952a
|d 9528
|e QA9.N53 2002
|t 7
|x m
|z Books
|