LEADER 02157nam0 2200481 i 450 001 VAN00113185 005 20250311090419.889 017 70$2N$a9781493932238 100 $a20180103d2015 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aLogic, mathematics, and computer science$emodern foundations with practical applications$fYves Nievergelt 205 $a2. ed 210 $aNew York$cSpringer$d2015 215 $aXII, 391 p.$cill.$d24 cm 500 1$3VAN00235100$aLogic, mathematics, and computer science : modern foundations with practical applications$92440524 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 606 $a91-XX$xGame theory, economics, finance, and other social and behavioral sciences [MSC 2020]$3VANC025601$2MF 610 $aApplications sets and functions$9KW:K 610 $aFirst-order logic$9KW:K 610 $aFoundations mathematics$9KW:K 610 $aGale and Shapely algorithm$9KW:K 610 $aInference rules$9KW:K 610 $aMath transition course$9KW:K 610 $aMathematical induction$9KW:K 610 $aNash equilibrium$9KW:K 610 $aPrisoner's dilemma$9KW:K 610 $aPropositional logic$9KW:K 610 $aSet Theory$9KW:K 610 $aTransfinite induction$9KW:K 620 $aUS$dNew York$3VANL000011 700 1$aNievergelt$bYves$3VANV022556$022951 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250314$gRICA 856 4 $uhttp://dx.doi.org/10.1007/978-1-4939-3223-8$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 $aVAN00113185 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 0285 $e08eMF285 20180103 996 $aLogic, mathematics, and computer science : modern foundations with practical applications$92440524 997 $aUNICAMPANIA