{"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":46,"n_cols":5,"rows_kept":46,"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],[3,2,3,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[11,2,11,3],[13,2,13,3],[14,2,14,3],[18,2,18,3],[20,2,20,3],[20,4,20,5],[21,2,21,3],[21,4,21,5],[22,2,22,3],[22,4,22,5],[23,2,23,3],[24,2,24,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[37,2,37,3],[38,2,38,3],[42,2,42,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910956313003321"]
[null,null,"Titolo",null,"Proof, logic, and formalization / / edited by Michael Detlefsen"]
[null,null,"Pubbl/distr/stampa",null,"London ; ; New York, : Routledge, 1992"]
[null,null,"ISBN",null,"1-134-97527-9"]
[{"$nulls":4},"1-134-97528-7"]
[{"$nulls":4},"1-280-10986-6"]
[{"$nulls":4},"9786610109869"]
[{"$nulls":4},"0-203-98025-5"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (118 p.)"]
[null,null,"Disciplina",null,"511.3"]
[null,null,"Soggetti",null,"Proof theory"]
[{"$nulls":4},"Logic, Symbolic and mathematical"]
[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","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"BOOK COVER; HALF-TITLE; TITLE; COPYRIGHT; DEDICATION; CONTENTS; NOTES ON CONTRIBUTORS; PREFACE; 1  PROOFS ABOUT PROOFS A DEFENSE OF CLASSICAL LOGIC; 2  PROOFS AND EPISTEMIC STRUCTURE; 3  WHAT IS A PROOF?; 4  HOW TO SAY THINGS WITH FORMALISMS; 5  SOME CONSIDERATIONS ON ARITHMETICAL TRUTH AND THE ?-RULE; 6  THE IMPREDICATIVITY OF INDUCTION; 7  THREE INSUFFICIENTLY ATTENDED TO ASPECTS OF MOST MATHEMATICAL PROOFS: PHENOMENOLOGICAL STUDIES; 8  ON AN ALLEGED REFUTATION OF HILBERT'S PROGRAM USING GÖDEL'S FIRST INCOMPLETENESS THEOREM; INDEX"]
[null,null,null,"Sommario/riassunto","A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification."]
[null,"2.","Record Nr.",null,"UNINA9910975074803321"]
[null,null,"Autore",null,"Inyang Ekpe <1963->"]
[null,null,"Titolo",null,"Death of hardship / / Ekpe Inyang"]
[null,null,"Pubbl/distr/stampa",null,"Bamenda, Cameroon, : Langaa Research & Pub. CIG, 2012"]
[null,null,"ISBN",null,"9786613716903"]
[{"$nulls":4},"9781280875595"]
[{"$nulls":4},"1280875593"]
[{"$nulls":4},"9789956727414"]
[{"$nulls":4},"9956727415"]
[{"$nulls":4},"9789956727889"]
[{"$nulls":4},"9956727881"]
[{"$nulls":4},"9789956727773"]
[{"$nulls":4},"9956727776"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (84 p.)"]
[null,null,"Disciplina",null,"808.81"]
[null,null,"Soggetti",null,"Cameroonian poetry (English)"]
[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","Poems."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Cover; Title page; Copyright page; Contents; Foreword; Desert's Lesson; Completely Red; Incommunicado; The Return; Fate of Cockroaches; ESD Cameroon; Seven Hills Away; Where White Is Black; Double Shadows; Fakoship; Wicked Call; Sick Memories; Sweet Sound; Hope's Long Journey; The Moon; The Flight; Coincidence; Not Another Sting; Pain; Beware Tyranny; Multilingualist; Choking Air; The Lost Sheep; Storm; Cry for Help; Waterfall; Saying Goodbye to Hardship; A Tear So Dear; The Monster; Mother Offy; Flying like A Bird; Listen To His Statement; You Are Who You Are; The Tree"]
[{"$nulls":4},"If Only the Right CreamStench; Read a Poem; His Choice; The Guided Tour; Fierce Theatre Animal; Bent to Bite; Get a New Machete; Ingredients of Youth; Love in Haste; African Time; Waiting for the Occasion; Pocket Wash; Pa Hardship Is Dead-o!; Stage Paradox; Dangerous Reactions; Looking For a Job; Cruel Invitation; Crumbs for Gold; Too Hard To Crack; Talking Into Space; Too Strong a Character; Press to Express; Three Tiny Ticks; Don't Let Her Sink; Beyond Human Destruction; Back cover"]
[null,null,null,"Sommario/riassunto","Death of Hardship kaleidoscopically unveils human intrigues, "]
[{"$nulls":4},"predicaments and woes. It brings into sharp focus the most dreaded products of cruel oppression, exploitation, and destructionóthe worst forms of human degradation and sufferings. However, it also sheds beams of hope, celebrating optimism in the struggle and eventually opening the curtain to the stage of victory of the oppressed and impoverished under the shameless sky."]