{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":44,"n_cols":5,"rows_kept":44,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[16,2,16,3],[17,2,17,3],[19,2,19,3],[19,4,19,5],[20,2,20,3],[20,4,20,5],[21,2,21,3],[21,4,21,5],[22,2,22,3],[23,2,23,3],[24,2,24,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[38,2,38,3],[39,2,39,3],[41,2,41,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNICAMPANIASUN0056893"]
[null,null,"Autore",null,"Lambek, J."]
[null,null,"Titolo",null,"Introduction to higher order categorical logic / J. Lambek, P. J. Scott"]
[null,null,"Pubbl/distr/stampa",null,"Cambridge, : Cambridge university, 1988"]
[null,null,"ISBN",null,"978-05-213-5653-4"]
[null,null,"Descrizione fisica",null,"X, 293 p. ; 24 cm."]
[null,null,"Soggetti",null,"18-XX - Category theory; homological algebra [MSC 2020]"]
[{"$nulls":4},"03-XX - Mathematical logic and foundations [MSC 2020]"]
[{"$nulls":4},"03F50 - Metamathematics of constructive systems [MSC 2020]"]
[{"$nulls":4},"18B25 - Topoi [MSC 2020]"]
[{"$nulls":4},"03G30 - Categorical logic, topoi [MSC 2020]"]
[{"$nulls":4},"03B40 - Combinatory logic and lambda-calculus [MSC 2020]"]
[{"$nulls":4},"03B16 - Higher-order logic [MSC 2020]"]
[{"$nulls":4},"18D15 - Closed categories (closed monoidal and Cartesian closed categories, etc.) [MSC 2020]"]
[{"$nulls":4},"18A15 - Foundations, relations to logic and deductive systems [MSC 2020]"]
[{"$nulls":4},"03B38 - Type theory [MSC 2020]"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNISA996466769303316"]
[null,null,"Autore",null,"Loday-Richaud Michèle"]
[null,null,"Titolo",null,"Divergent Series, Summability and Resurgence II [[electronic resource] ] : Simple and Multiple Summability / / by Michèle Loday-Richaud"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016"]
[null,null,"ISBN",null,"3-319-29075-4"]
[null,null,"Edizione",null,"[1st ed. 2016.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XXIII, 272 p. 64 illus. in color.)"]
[null,null,"Collana",null,"Lecture Notes in Mathematics, , 0075-8434 ; ; 2154"]
[null,null,"Disciplina",null,"510"]
[null,null,"Soggetti",null,"Sequences (Mathematics)"]
[{"$nulls":4},"Differential equations"]
[{"$nulls":4},"Difference equations"]
[{"$nulls":4},"Functional equations"]
[{"$nulls":4},"Dynamics"]
[{"$nulls":4},"Ergodic theory"]
[{"$nulls":4},"Sequences, Series, Summability"]
[{"$nulls":4},"Ordinary Differential Equations"]
[{"$nulls":4},"Difference and Functional Equations"]
[{"$nulls":4},"Dynamical Systems and Ergodic Theory"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Avant-propos -- Preface to the three volumes -- Introduction to this volume -- 1 Asymptotic Expansions in the Complex Domain -- 2 Sheaves and Čech cohomology -- 3 Linear Ordinary Differential Equations -- 4 Irregularity and Gevrey Index Theorems -- 5 Four Equivalent Approaches to k-Summability -- 6 Tangent-to-Identity Diffeomorphisms -- 7 Six Equivalent Approaches to Multisummability -- Exercises -- Solutions to Exercises -- Index -- Glossary of Notations -- References."]
[null,null,null,"Sommario/riassunto","Addressing the question how to “sum” a power series in one variable when it diverges, that is, how to attach to it analytic functions, the volume gives answers by presenting and comparing the various theories of k-summability and multisummability. These theories apply in particular to all solutions of ordinary differential equations. The volume includes applications, examples and revisits, from a cohomological point of view, the group of tangent-to-identity germs of "]
[{"$nulls":4},"diffeomorphisms of C studied in volume 1. With a view to applying the theories to solutions of differential equations, a detailed survey of linear ordinary differential equations is provided which includes Gevrey asymptotic expansions, Newton polygons, index theorems and Sibuya’s proof of the meromorphic classification theorem that characterizes the Stokes phenomenon for linear differential equations. This volume is the second of a series of three entitled Divergent Series, Summability and Resurgence. It is aimed at graduate students and researchers in mathematics and theoretical physics who are interested in divergent series, Although closely related to the other two volumes it can be read independently."]