LEADER 02186nam0 2200469 i 450 001 VAN00126931 005 20240806100822.874 017 70$2N$a9783030253585 100 $a20200218d2019 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aIntroduction to Discrete Mathematics via Logic and Proof$fCalvin Jongsma 210 $aCham$cSpringer$d2019 215 $axx, 482 p.$cill.$d24 cm 410 1$1001VAN00024019$12001 $aUndergraduate texts in mathematics$1210 $aBerlin [etc.]$cSpringer$d1958- 500 1$3VAN00236838$aIntroduction to Discrete Mathematics via Logic and Proof$91732515 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03Bxx$xGeneral logic [MSC 2020]$3VANC024425$2MF 606 $a03E20$xOther classical set theory (including functions, relations, and set algebra) [MSC 2020]$3VANC024408$2MF 606 $a05-XX$xCombinatorics [MSC 2020]$3VANC019812$2MF 606 $a05Cxx$xGraph theory [MSC 2020]$3VANC022400$2MF 606 $a06-XX$xOrder, lattices, ordered algebraic structures [MSC 2020]$3VANC019973$2MF 606 $a06E30$xBoolean functions [MSC 2020]$3VANC027709$2MF 610 $aBoolean algebra$9KW:K 610 $aMathematical induction$9KW:K 610 $aPeano arithmetic$9KW:K 610 $aPredicate logic$9KW:K 610 $aPropositional logic$9KW:K 610 $aSentential logic$9KW:K 610 $aSet Theory$9KW:K 620 $aCH$dCham$3VANL001889 700 1$aJongsma$bCalvin$3VANV098340$0781354 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20241115$gRICA 856 4 $uhttp://doi.org/10.1007/978-3-030-25358-5$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00126931 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 1618 $e08eMF1618 20200218 996 $aIntroduction to Discrete Mathematics via Logic and Proof$91732515 997 $aUNICAMPANIA