02157nam0 2200481 i 450 VAN0011318520250311090419.889N978149393223820180103d2015 |0itac50 baengUS|||| |||||Logic, mathematics, and computer sciencemodern foundations with practical applicationsYves Nievergelt2. edNew YorkSpringer2015XII, 391 p.ill.24 cmVAN00235100Logic, mathematics, and computer science : modern foundations with practical applications244052403-XXMathematical logic and foundations [MSC 2020]VANC019750MF68-XXComputer science [MSC 2020]VANC019670MF91-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 courseKW:KMathematical inductionKW:KNash equilibriumKW:KPrisoner's dilemmaKW:KPropositional logicKW:KSet TheoryKW:KTransfinite inductionKW:KUSNew YorkVANL000011NievergeltYvesVANV02255622951Springer <editore>VANV108073650ITSOL20250314RICAhttp://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-CE0120VAN08NVAN00113185BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 0285 08eMF285 20180103 Logic, mathematics, and computer science : modern foundations with practical applications2440524UNICAMPANIA