02163nam0 2200481 i 450 VAN011318520230705022222.120N978149393223820180103d2015 |0itac50 baengUS|||| |||||Logic, mathematics, and computer sciencemodern foundations with practical applicationsYves Nievergelt2. edNew YorkSpringer2015XII, 391 p.ill.24 cmVAN0235100Logic, mathematics, and computer science : modern foundations with practical applications244052468-XXComputer science [MSC 2020]VANC019670MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF91-XXGame theory, economics, finance, and other social and behavioral sciences [MSC 2020]VANC025601MFApplications sets and functionsKW:KFirst-order logicKW:KFoundations mathematicsKW:KGale and Shapely algorithmKW:KInference rulesKW:KMath transition course textbookKW:KMathematical inductionKW:KNash equilibriumKW:KPrisoner's dilemmaKW:KPropositional logicKW:KSet TheoryKW:KTransfinite inductionKW:KUSNew YorkVANL000011NievergeltYvesVANV02255622951Springer <editore>VANV108073650ITSOL20240614RICAhttp://dx.doi.org/10.1007/978-1-4939-3223-8E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0113185BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 0285 08eMF285 20180103 Logic, mathematics, and computer science : modern foundations with practical applications2440524UNICAMPANIA