{"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":34,"n_cols":5,"rows_kept":34,"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],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[9,2,9,3],[10,2,10,3],[16,2,16,3],[16,4,16,5],[17,2,17,3],[17,4,17,5],[18,2,18,3],[18,4,18,5],[19,2,19,3],[20,2,20,3],[22,2,22,3],[23,2,23,3],[24,2,24,3],[26,2,26,3],[27,2,27,3],[31,2,31,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910783564103321"]
[null,null,"Titolo",null,"Introducing IBM Tivoli license manager [[electronic resource] /] / [Edson Manoel ... et al.]"]
[null,null,"Pubbl/distr/stampa",null,"Austin, TX, : IBM, International Technical Support Organization, 2003"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"xxi1, 302 p. : ill"]
[null,null,"Collana",null,"IBM redbooks"]
[null,null,"Disciplina",null,"005.3/068"]
[null,null,"Soggetti",null,"Computer software - Management"]
[{"$nulls":4},"License agreements"]
[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","\"March 2003.\""]
[{"$nulls":4},"\"SG24-6888-00.\""]
[null,null,null,"Nota di bibliografia","Includes bibliographical references (p. 289) and index."]
[null,null,null,"Sommario/riassunto","IBM Tivoli License Manager is a new IBM product that fills a growing need to reconcile software licenses that are already in use in an organization, with the licenses owned by the organization. It offers a technical way to control and apply the software vendors' pre-defined licensing policies. It allows the Administrator to easily manage different products in different ways, reflecting the rules of each products license agreement. The primary objective of this IBM Redbooks publication is to introduce the new IBM offering for designing and creating a license management solution, and it is targeted at the technical professional responsible for providing license management services in an IT organization. It can be used as a reference book for the deployment of IBM Tivoli License Manager Version 1.1, guiding you during the planning, installation, configuration, administration, tuning, and general product usage phases - focusing on how to effectively deploy this product in a way that quickly generates real business value for customers. This book is a valuable addition to the existing product documentation and should be read in conjunction with the official product documentation, which complements the concepts explained in this book."]
[null,"2.","Record Nr.",null,"UNINA9910954298603321"]
[null,null,"Autore",null,"Quine W. V (Willard Van Orman)"]
[null,null,"Titolo",null,"Mathematical logic / / by Willard Van Orman Quine"]
[null,null,"Pubbl/distr/stampa",null,"Cambridge, MA, : Harvard University Press, c1981"]
[null,null,"ISBN",null,"9780674042469"]
[{"$nulls":4},"0674042468"]
[null,null,"Edizione",null,"[Rev. ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (xii, 346 pages)"]
[null,null,"Soggetti",null,"Logic, Symbolic and mathematical"]
[{"$nulls":4},"Mathematics"]
[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","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliography and index."]
[null,null,"Nota di contenuto",null,"Frontmatter -- PREFACE, 1981 -- PREFACE TO THE REVISED EDITION -- PREFACE -- CONTENTS -- Introduction -- CHAPTER ONE. Statelfzents -- 1. Conjunction, Alternation, and Denial -- 2. The Conditional -- 3. Iterated Composition -- 4. Use versus Mention -- 5. Statements about Statements -- 6. Quasi-Quotation -- 7. Parentheses and Dots -- 8. Reduction to Three Primitives -- 9. Reduction to One Primitive -- 10. Tautology -- 11. Selected Tautologous Forms -- CHAPTER TWO. Quantification -- 12. The Quantifier -- 13. Formulae -- 14. Bondage, Freedom, Closure -- 15. Axioms of Quantification -- 16. Theorems -- 17. Metatheorems -- 18. Substitutivity of the Biconditional -- 19. Existential Quantification -- 20. Distribution of Quantifiers -- 21. Alphabetic Variance -- CHAPTER THREE. Terms -- 22. Class and Member -- 23. Logical Formulae -- 24. Abstraction -- 25. Identity -- 26. Abstraction Resumed -- 27. Descriptions and Names -- CHAPTER FOUR. Extended Theory of Classes -- 28. Stratification -- 29. Further Axioms of Membership -- 30. Substitutivity of Identity -- 31. Substitution for Variables -- 32. Further Consequences -- 33. Logical Product, Sum, Complement -- 34. Inclusion -- 35. Unit Classes -- CHAPTER FIVE. Relations -- 36. Pairs and Relations -- 37. Abstraction of Relations -- 38. Converse, Image, Relative Product -- 39. The Ancestral -- 40. Functions -- 41. Abstraction of Functions -- 42. Identity and Membership as Relations -- CHAPTER SIX. Number -- 43. Zero, One, Successor -- 44. Natural Numbers -- 45. Counter Sets -- 46. Finite and Infinite -- 47. Powers of Relations -- 48. Arithmetical Sum, Product, Power -- 49. Familiar Identities of Arithmetic -- 50. "]
[{"$nulls":4},"Ratios -- 51. Real Numbers -- 52. Further Extensions -- CHAPTER SEVEN. Syntax -- 53. Formality -- 54. The Syntactical Primitive -- 55. Protosyntax -- 56. Formula and Matrix Defined -- 57. Axioms of Quantification Defined -- 58. Theorem Defined -- 59. Protosyntax Self-Applied -- 60. Incompleteness -- APPENDIX. Theorem versus Metatheorem -- List of Definitions -- List of Theorems and Metatheorems -- Bibliographical References -- Index of Proper Names -- Index of Subjects"]
[null,null,null,"Sommario/riassunto","W. V. Quine's systematic development of mathematical logic has been widely praised for the new material presented and for the clarity of its exposition. This revised edition, in which the minor inconsistencies observed since its first publication have been eliminated, will be welcomed by all students and teachers in mathematics and philosophy who are seriously concerned with modern logic.Max Black, in Mind, has said of this book, \"It will serve the purpose of inculcating, by precept and example, standards of clarity and precision which are, even in formal logic, more often pursued than achieved.\""]