Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

The Logic of Information Structures

Best Price (Coupon Required):
Buy The Logic of Information Structures for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
$39.99 $39.99

10% OFF
This deals requires coupon
$36.00
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540476429
Condition
New
Product Description

This monograph gives a logical treatment of two central aspects of the concept of information, namely information processing and information structure. The structure of information is treated as a topic in model theory, while information processing is seen as an aspect of proof theory. A wide spectrum of substructural subsystems of intuitionistic propositional logic and of Nelson's constructive logic with strong negation is investigated. In particular, the problems of cut-elimination, functional completeness, and coding of proofs with lambda-terms are handled. Finally, an interpretation of these systems in terms of states of information and operations over these states is presented.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Evolvable Systems: From Biology to Hardware

Evolvable Systems: From Biology to Hardware

$39.99
A Knowledge Representation Practionary

A Knowledge Representation Practionary

$219.99
Leben in herausfordernden Wohngebieten

Leben in herausfordernden Wohngebieten

$44.99
Innovative Technologies and Learning

Innovative Technologies and Learning

$79.99
Transactions on Large-Scale Data- and Knowledge-Centered Systems XI

Transactions on Large-Scale Data- and Knowledge-Centered Systems XI

$49.99
Fachausdrcke der physikalischen Chemie

Fachausdrcke der physikalischen Chemie

$59.99
Cutting-edge Vitreoretinal Surgery

Cutting-edge Vitreoretinal Surgery

$199.99
Linearization of Nonlinear Control Systems

Linearization of Nonlinear Control Systems

$79.99
Pathophysiology of Cerebral Energy Metabolism

Pathophysiology of Cerebral Energy Metabolism

$39.99
Theorie der Chemischen Bindung

Theorie der Chemischen Bindung

$59.99
The Polish-Lithuanian Monarchy in European Context, C.1500-1795

The Polish-Lithuanian Monarchy in European Context, C.1500-1795

$109.99
Ergebnisse der Allgemeinen Pathologie und Pathologischen Anatomie des Menschen und der Tiere

Ergebnisse der Allgemeinen Pathologie und Pathologischen Anatomie des Menschen und der Tiere

$59.99
International Capital Flows and the Lucas Paradox

International Capital Flows and the Lucas Paradox

$109.99
Static Electrification

Static Electrification

$39.99
Erfolgsfaktoren des Sportsponsorings bei Groereignissen

Erfolgsfaktoren des Sportsponsorings bei Groereignissen

$69.99
Practical Bot Development

Practical Bot Development

$59.99
Hans-Georg Gadamer

Hans-Georg Gadamer

$64.99
Late Ancient Platonism in Eighteenth-Century German Thought

Late Ancient Platonism in Eighteenth-Century German Thought

$99.99
The Ecology of Purposeful Living Across the Lifespan

The Ecology of Purposeful Living Across the Lifespan

$139.99
World Discovery Science Reader: Ants, Bees, and Other Social Insects

World Discovery Science Reader: Ants, Bees, and Other Social Insects

$3.71
Bewehrungstechnik

Bewehrungstechnik

$49.99
nderungen im Enzymmuster whrend der Samenkeimung und frhen Entwicklung des Keimlings von Hordeum

nderungen im Enzymmuster whrend der Samenkeimung und frhen Entwicklung des Keimlings von Hordeum

$54.99
A Short History of the Labour Party

A Short History of the Labour Party

$39.99
Bericht ber die Achtundvierzigste Zusammenkunft der Deutschen Ophthalmologischen Gesellschaft in He

Bericht ber die Achtundvierzigste Zusammenkunft der Deutschen Ophthalmologischen Gesellschaft in He

$59.99
Speichereffizienter Aufbau von binren Entscheidungsdiagrammen

Speichereffizienter Aufbau von binren Entscheidungsdiagrammen

$59.99
Technische Mechanik starrer Gebilde

Technische Mechanik starrer Gebilde

$59.99
Information and Communication Technologies in Education, Research, and Industrial Applications

Information and Communication Technologies in Education, Research, and Industrial Applications

$54.99
Future Directions in Infant Development Research

Future Directions in Infant Development Research

$39.99
Metaheuristics for Medicine and Biology

Metaheuristics for Medicine and Biology

$109.99
The physical examination

The physical examination

$54.99
Ideas and Politics in Modern Britain

Ideas and Politics in Modern Britain

$49.99
The Greater-Good Defence

The Greater-Good Defence

$84.99
Scouting and Guiding in Britain

Scouting and Guiding in Britain

$139.99
Innovation pragmatisch steigern

Innovation pragmatisch steigern

$69.95
Illustrated Encyclopedia of Dermatology

Illustrated Encyclopedia of Dermatology

$39.99
EBNA1 and Epstein-Barr Virus Associated Tumours

EBNA1 and Epstein-Barr Virus Associated Tumours

$54.99
A Treatise of Legal Philosophy and General Jurisprudence

A Treatise of Legal Philosophy and General Jurisprudence

$279.99
Zerfall- und Schwellverhalten von Eisenerzpellets

Zerfall- und Schwellverhalten von Eisenerzpellets

$59.99
Sozialpsychologie der Partnerschaft

Sozialpsychologie der Partnerschaft

$59.99
Big Smelly Bear

Big Smelly Bear

$5.21
previous
next