02175nam0 2200469 i 450 VAN012693120230626025658.848N978303025358520200218d2019 |0itac50 baengCH|||| |||||Introduction to Discrete Mathematics via Logic and ProofCalvin JongsmaChamSpringer2019xx, 482 p.ill.24 cm001VAN00240192001 Undergraduate texts in mathematics210 Berlin [etc.]SpringerVAN0236838Introduction to Discrete Mathematics via Logic and Proof173251503-XXMathematical logic and foundations [MSC 2020]VANC019750MF05-XXCombinatorics [MSC 2020]VANC019812MF06-XXOrder, lattices, ordered algebraic structures [MSC 2020]VANC019973MF05CxxGraph theory [MSC 2020]VANC022400MF03E20Other classical set theory (including functions, relations, and set algebra) [MSC 2020]VANC024408MF03BxxGeneral logic [MSC 2020]VANC024425MF06E30Boolean functions [MSC 2020]VANC027709MFBoolean algebraKW:KMathematical inductionKW:KPeano arithmeticKW:KPredicate logicKW:KPropositional logicKW:KSentential logicKW:KSet TheoryKW:KCHChamVANL001889JongsmaCalvinVANV098340781354Springer <editore>VANV108073650ITSOL20240614RICAhttp://doi.org/10.1007/978-3-030-25358-5E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0126931BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 1618 08eMF1618 20200218 Introduction to Discrete Mathematics via Logic and Proof1732515UNICAMPANIA