01029nam--2200373---450-99000124262020331620060123111915.0000124262USA01000124262(ALEPH)000124262USA0100012426220031105d1981----km-y0itay0103----baitaITa|||||||001yyArte popolare d'AmericaFrancesc Català RocaMilanoF. M. Riccic1981319 p.ill.30 cmTit. della cop.20012001001-------2001745.5CATALA ROCA,Francesc556692ITsalbcISBD990001242620203316XII.2.C. 703(VII F 75)10941 L.M.VII FBKUMASIAV71020031105USA011352PATRY9020040406USA011729COPAT59020060123USA011119Arte popolare d'America988088UNISA02163nam0 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