{"product_id":"9783540567349","title":"Lecture Notes in Computer Science","description":"\u003ch1\u003eLecture Notes in Computer Science\u003c\/h1\u003e \u003ch2\u003eWansing, Heinrich\u003c\/h2\u003e \u003cp\u003eThis monograph gives a logical treatment of two central\naspects of the      concept of information, namely information\nprocessing and information       structure. The structure of\ninformation is treated as a topic in model      theory, while\ninformation processing is seen as an aspect of proof          theory.\nA wide spectrum of substructural subsystems of\nintuitionistic   propositional logic and of Nelson's\nconstructive logic with strong negation is investigated. In\nparticular, the problems of cut-elimination,            functional\ncompleteness, and coding of proofs with lambda-terms             are\nhandled. Finally, an interpretation of these systems in\nterms of    states of information and operations over these\nstates is presented.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1993-07-29\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540567349\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-56734-8\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 168\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370080034956,"sku":"9783540567349","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540567349.jpg?v=1773970086","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540567349","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}