Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

CSL '87

CSL '87

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

This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987. Traditionally Logic, or more specifically, Mathematical Logic splits into several subareas: Set Theory, Proof Theory, Recursion Theory, and Model Theory. In addition there is what sometimes is called Philosophical Logic which deals with topics like nonclassical logics and which for historical reasons has been developed mainly at philosphical departments rather than at mathematics institutions. Today Computer Science challenges Logic in a new way. The theoretical analysis of problems in Computer Science for intrinsic reasons has pointed back to Logic. A broad class of questions became visible which is of a basically logical nature. These questions are often related to some of the traditional disciplines of Logic but normally without being covered adequately by any of them. The novel and unifying aspect of this new branch of Logic is the algorithmic point of view which is based on experiences people had with computers. The aim of the "Computer-Science Logic" workshop and of this volume is to represent the richness of research activities in this field in the German-speaking countries and to point to their underlying general logical principles.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Untersuchungen der Spannungsverhltnisse sowie der Eigenschaften von Kruselgarnen bei verschiedenen

$59.99

WALCOM: Algorithms and Computation

$39.99

The Baby-Sitters Club Graphix: Mary Anne Saves the Day

$9.74

Environment and Nuclear Energy

$84.99

Enzyme Handbook 4

$39.99

Recent Trends in Network Security and Applications

$84.99

Semantic Search over the Web

$54.99

Produktion und Umwelt

$49.99

Weimarer Klassik

$24.99

Leading Diverse Schools

$84.99

Formation and Regeneration of Nerve Connections

$39.99

Complex Trauma Regulation in Children

$109.99

Functional Meat Products

$199.99

European Actorness in a Shifting Geopolitical Order

$49.99

Tiefbohrwesen, Frderverfahren und Elektrotechnik in der Erdlindustrie

$59.99

Proceedings of the Third International Forum on Decision Sciences

$129.00

Louis Auchincloss

$34.99

Entstehung der neuen politischen Akteure im globalen Kommunikationsraum

$39.99

Parallel Computing Technologies

$54.99

Rabbi Akiva's Philosophy of Love

$109.99

Das Impeachment um Donald Trump

$17.99

Politischer Kampf in Lateinamerika

$74.99

Surface DefectsinWide-BandgapLiF,SiO2,and ZnOCrystals

$54.99

Sustainable Practices in Italian Businesses

$49.99

Sustainable Transportation Options for the 21st Century and Beyond

$109.99

Mexican American Girls and Gang Violence

$54.99

Whiteness and Class in Education

$109.99

Produktentwicklungsprojekte - Aufbau, Ablauf und Organisation

$54.99

The Baby-Sitters Club Graphix: Claudia and Mean Janine

$9.74

World Orders in the Making

$54.99

Schlafstrungen

$59.99

Manis Valuations and Prfer Extensions I

$39.99

Convective Heat and Mass Transfer in Porous Media

$549.99

Discrete Event Systems: Modeling and Control

$39.99

Max & Mo: Max & Mo Go to School

$3.71

Analysis und mathematische Physik

$64.99

Cryptography and Coding

$39.99

Migration and Integration Challenges of Muslim Immigrants in Europe

$139.99

Advances in Biological Treatment of Industrial Waste Water and their Recycling for a Sustainable Fut

$109.99

Projektentstehungsmuster im zentralen Forschungsbereich

$59.99