{"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":24,"n_cols":5,"rows_kept":24,"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],[9,2,9,3],[9,4,9,5],[10,2,10,3],[10,4,10,5],[11,2,11,3],[11,4,11,5],[12,2,12,3],[14,2,14,3],[15,2,15,3],[16,2,16,3],[17,2,17,3],[18,2,18,3],[19,2,19,3],[20,2,20,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910482706103321"]
[null,null,"Autore",null,"Carion Johannes <1499-1537 or 1538.>"]
[null,null,"Titolo",null,"Chronica M. Johan Carion paa thet flittigste sammen dragen, huer mand nytteligt att læse oc er nu fordansket aff M. Joenn Tursson, Medt een skøn oc herlig Register som indholler alle fornemste handel oc Historier som seg fraa Verdens begyndelse ind til Carolum V begiffuit haffue [[electronic resource]]"]
[null,null,"Pubbl/distr/stampa",null,"Wittenberg, : Jørgen Raus Arffuinge, 1554"]
[null,null,"Descrizione fisica",null,"Online resource (264, [20] bl.)"]
[null,null,"Lingua di pubblicazione",null,"Danese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Reproduction of original in Det Kongelige Bibliotek / The Royal Library (Copenhagen)."]
[null,"2.","Record Nr.",null,"UNINA9910823093403321"]
[null,null,"Autore",null,"Jervell Herman Ruge"]
[null,null,"Titolo",null,"Modal logic / / Herman Ruge Jervell"]
[null,null,"Pubbl/distr/stampa",null,"Berlin : , : Logos Verlag Berlin, , [2012]"]
[{"$nulls":4},"©2012"]
[null,null,"ISBN",null,"3-8325-9000-5"]
[null,null,"Descrizione fisica",null,"1 online resource (105 pages)"]
[null,null,"Collana",null,"Compact Companion ; ; 2"]
[null,null,"Disciplina",null,"160"]
[null,null,"Soggetti",null,"Modality (Logic)"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","PublicationDate: 20130116"]
[null,null,null,"Sommario/riassunto","Long description: In modal logic we discuss multiple perspectives on truth - perspectives as given by time, by provability, by knowledge, by agents or by processes. We develop the theory of modal logic and emphasize the connections with and applications within computer science and mathematics.   Among other things we develop Kurt Gödels incompleteness theorem and show memoryless determinacy of infinite games on finite arenas."]