| Record ID | marc_nuls/NULS_PHC_180925.mrc:36426257:1645 |
| Source | marc_nuls |
| Download Link | /show-records/marc_nuls/NULS_PHC_180925.mrc:36426257:1645?format=raw |
LEADER: 01645cam 2200313 a 4500
001 9921387870001661
005 20150423134455.0
008 930615s1993 nyua b 001 0 eng
010 $a 93027848
020 $a0387941150 (New York : acid-free paper)
020 $a3540941150 (Berlin : acid-free paper)
035 $a(CSdNU)u41514-01national_inst
035 $a(OCoLC)28377189
035 $a(Sirsi) 01-AAE-4534
040 $aDLC$cDLC
049 $aCNUM
050 00 $aQA39.2$b.G7473 1993
100 1 $aGries, David.
245 12 $aA logical approach to discrete math /$cDavid Gries, Fred B. Schneider.
260 $aNew York :$bSpringer-Verlag,$cc1993.
300 $axvi, 497 p. :$bill. ;$c25 cm.
440 0 $aTexts and monographs in computer science
504 $aIncludes bibliographical references (p. [473]-475) and index.
505 0 $aUsing mathematics -- Textual substitution, equality, and assignment -- Boolean expressions -- Propositional calculus -- Relaxing the proof style.
505 0 $aApplications of propositional calculus -- Hilbert-style proofs -- Formal logic -- Quantification -- Predicate calculus -- Predicate and programming -- A theory of sets -- Mathematical induction -- A theory of sequences -- Relations and functions -- A theory of integers -- Combinatiorial analysis -- Recurrence relations -- Modern algebra -- A theory of graphs -- Infinite sets.
650 0 $aMathematics.
700 1 $aSchneider, Fred B.
948 $a10/13/1999$b10/13/1999
999 $aQA 39.2 G7473 1993$wLC$c1$i31786100559241$d9/24/2011$e8/20/2011 $f6/24/2004$g1$lCIRCSTACKS$mNULS$n9$rY$sY$tBOOK$u10/10/1994$o.STAFF. Pieces: 00001