LEADER 01965nam0 22004693i 450 001 VAN00248524 005 20240806101414.476 017 70$2N$a9783658291112 100 $a20220725d2020 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aDiagonalization in Formal Mathematics$fPaulo Guilherme Santos 210 $aWiesbaden$cSpringer Spektrum$d2020 215 $a99 p.$cill.$d24 cm 410 1$1001VAN00113924$12001 $aBestMasters$1210 $aBerlin [etc.]$cSpringer$d2014- 500 1$3VAN00248526$aDiagonalization in Formal Mathematics$92391168 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03F40$xGödel numberings and issues of incompleteness [MSC 2020]$3VANC024403$2MF 610 $aBanach theorem$9KW:K 610 $aCurry?s paradox$9KW:K 610 $aDiagonalization$9KW:K 610 $aDiagonalization lemma$9KW:K 610 $aFixed Points$9KW:K 610 $aKnaster?Tarski theorem$9KW:K 610 $aLawvere?s diagonal argument$9KW:K 610 $aParadoxes$9KW:K 610 $aRussell?s paradox$9KW:K 610 $aSelf-reference$9KW:K 610 $aSmullyan?s theorem$9KW:K 610 $aYablo?s paradox$9KW:K 620 $aDE$dWiesbaden$3VANL000457 700 1$aSantos$bPaulo Guilherme$3VANV203449$01017966 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20241115$gRICA 856 4 $uhttp://doi.org/10.1007/978-3-658-29111-2$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 $aVAN00248524 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 4510 $e08eMF4510 20220725 996 $aDiagonalization in Formal Mathematics$92391168 997 $aUNICAMPANIA LEADER 02093nam0 22004813i 450 001 VAN00248639 005 20240806101414.945 017 70$2N$a9783030424961 100 $a20220726d2020 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aAge Structured Epidemic Modeling$fXue-Zhi Li, Junyuan Yang, Maia Martcheva 210 $aCham$cSpringer$d2020 215 $axii, 383 p.$cill.$d24 cm 410 1$1001VAN00044474$12001 $aInterdisciplinary applied mathematics$1210 $aNew York [etc.]$cSpringer$d1990-$v52 500 1$3VAN00248640$aAge Structured Epidemic Modeling$92983615 606 $a92-XX$xBiology and other natural sciences [MSC 2020]$3VANC020839$2MF 606 $a92D30$xEpidemiology [MSC 2020]$3VANC028389$2MF 610 $aAdaptive behavior$9KW:K 610 $aCompact Operators$9KW:K 610 $aComplex Networks$9KW:K 610 $aGame Theory$9KW:K 610 $aImmuno-epidemiological Modeling$9KW:K 610 $aLyapunov functional$9KW:K 610 $aMulti-scale Infectious Disease Modeling$9KW:K 610 $aNested Immuno-epidemiological Models$9KW:K 610 $aNetwork Immuno-epidemiological Models$9KW:K 610 $aSize-structured Immuno-epidemiological Models$9KW:K 610 $aSystems biology$9KW:K 620 $aCH$dCham$3VANL001889 700 1$aLi$bXue-Zhi$3VANV203492$01015106 701 1$aMartcheva$bMaia$3VANV087248$0502296 701 1$aYang$bJunyuan$3VANV203493$01268483 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250627$gRICA 856 4 $uhttp://doi.org/10.1007/978-3-030-42496-1$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 $aVAN00248639 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 4542 $e08eMF4542 20220726 996 $aAge Structured Epidemic Modeling$92983615 997 $aUNICAMPANIA