LEADER 03013nam0 22006493i 450 001 VAN00250035 005 20240806101421.894 017 70$2N$a9783030302290 100 $a20220912d2020 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aWell-Quasi Orders in Computation, Logic, Language and Reasoning$eA Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory$fPeter M. Schuster, Monika Seisenberger, Andreas Weiermann editors 210 $aCham$cSpringer$d2020 215 $ax, 391 p.$cill.$d24 cm 410 1$1001VAN00103150$12001 $aTrends in logic$estudia logica library$1210 $aBerlin [etc.]$cSpringer$v53 500 1$3VAN00250036$aWell-Quasi Orders in Computation, Logic, Language and Reasoning$92185770 606 $a00B25$xProceedings of conferences of miscellaneous specific interest [MSC 2020]$3VANC020732$2MF 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03Exx$xSet theory [MSC 2020]$3VANC019939$2MF 606 $a03Fxx$xProof theory and constructive mathematics [MSC 2020]$3VANC024383$2MF 606 $a06A05$xTotal order [MSC 2020]$3VANC023627$2MF 610 $aAnalytic combinatorics$9KW:K 610 $aBraid Groups$9KW:K 610 $aCombinatorics$9KW:K 610 $aCommutative algebra$9KW:K 610 $aComputational content of classical proofs$9KW:K 610 $aConstructive mathematics$9KW:K 610 $aDescriptive set theory$9KW:K 610 $aDiscrete mathematics$9KW:K 610 $aGraph theory$9KW:K 610 $aGraph-minor Theorem$9KW:K 610 $aKriz's Theorem$9KW:K 610 $aMaximal Order Type$9KW:K 610 $aOrdinal Notation System$9KW:K 610 $aProof Theory$9KW:K 610 $aReverse Mathematics$9KW:K 610 $aSubrecursive hierarchies$9KW:K 610 $aTermination Proofs$9KW:K 610 $aTheorem Proving and Verification$9KW:K 610 $aTheory of relations$9KW:K 610 $aWell Quasi-order$9KW:K 620 $aCH$dCham$3VANL001889 702 1$aSchuster$bPeter M.$3VANV158391 702 1$aSeisenberger$bMonika$3VANV204359 702 1$aWeiermann$bAndreas$3VANV204360 712 $aSpringer $3VANV108073$4650 790 1$aSchuster, Peter Michael$zSchuster, Peter M.$3VANV204357 790 1$aSchuster, Peter$zSchuster, Peter M.$3VANV204358 801 $aIT$bSOL$c20240906$gRICA 856 4 $uhttp://doi.org/10.1007/978-3-030-30229-0$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 $aVAN00250035 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 4919 $e08eMF4919 20220912 996 $aWell-Quasi Orders in Computation, Logic, Language and Reasoning$92185770 997 $aUNICAMPANIA