03013nam0 22006493i 450 VAN0025003520240806101421.894N978303030229020220912d2020 |0itac50 baengCH|||| |||||Well-Quasi Orders in Computation, Logic, Language and ReasoningA Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set TheoryPeter M. Schuster, Monika Seisenberger, Andreas Weiermann editorsChamSpringer2020x, 391 p.ill.24 cm001VAN001031502001 Trends in logicstudia logica library210 Berlin [etc.]Springer53VAN00250036Well-Quasi Orders in Computation, Logic, Language and Reasoning218577000B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]VANC020732MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03ExxSet theory [MSC 2020]VANC019939MF03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MF06A05Total order [MSC 2020]VANC023627MFAnalytic combinatoricsKW:KBraid GroupsKW:KCombinatoricsKW:KCommutative algebraKW:KComputational content of classical proofsKW:KConstructive mathematicsKW:KDescriptive set theoryKW:KDiscrete mathematicsKW:KGraph theoryKW:KGraph-minor TheoremKW:KKriz's TheoremKW:KMaximal Order TypeKW:KOrdinal Notation SystemKW:KProof TheoryKW:KReverse MathematicsKW:KSubrecursive hierarchiesKW:KTermination ProofsKW:KTheorem Proving and VerificationKW:KTheory of relationsKW:KWell Quasi-orderKW:KCHChamVANL001889SchusterPeter M.VANV158391SeisenbergerMonikaVANV204359WeiermannAndreasVANV204360Springer <editore>VANV108073650Schuster, Peter MichaelSchuster, Peter M.VANV204357Schuster, PeterSchuster, Peter M.VANV204358ITSOL20240906RICAhttp://doi.org/10.1007/978-3-030-30229-0E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00250035BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 4919 08eMF4919 20220912 Well-Quasi Orders in Computation, Logic, Language and Reasoning2185770UNICAMPANIA