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