| Record ID | marc_loc_updates/v36.i10.records.utf8:14081522:1060 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i10.records.utf8:14081522:1060?format=raw |
LEADER: 01060cam a22002894a 4500
001 2001052551
003 DLC
005 20080306082412.0
008 011010s2002 maua b 001 0 eng
010 $a 2001052551
020 $a0817642498 (alk. paper)
020 $a3764342498 (alk. paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA9$b.N53 2002
082 00 $a511.3$221
100 1 $aNievergelt, Yves.
245 10 $aFoundations of logic and mathematics :$bapplications to computer science and cryptography /$cYves Nievergelt.
260 $aBoston :$bBirkhäuser,$cc2002.
300 $axvi, 415 p. :$bill. ;$c26 cm.
504 $aIncludes bibliographical references (p. [399]-404) and index.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aSet theory.
650 0 $aNumber theory.
650 0 $aComputer science$xMathematics.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0812/2001052551-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0812/2001052551-t.html