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

Computational Logic

Computational Logic

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

Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field. Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski).

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

Single Product Purchase

$84.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
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Computer Information Systems and Industrial Management

$39.99

National Geographic Kids: National Geographic Kids Collection Grades K-3

$39.00

Lipase and Phospholipase Protocols

$84.99

Inspiring! Kommunizieren im TED-Stil

$29.99

Metals and Oxidative Damage in Neurological Disorders

$219.99

Young People and Sexuality Education

$54.99

Handbook of Digital 3D Reconstruction of Historical Architecture

$59.99

Adaptive Feed-Forward Control of Low Frequency Interior Noise

$129.00

Whey and Lactose Processing

$74.99

Jahrbuch der Schiffbautechnischen Gesellschaft

$59.99

Informationsmanagement und ffentliche Verwaltung

$59.99

Constructing Global Civil Society

$54.99

Microorganisms in Biorefineries

$169.99

Digital Business and Electronic Commerce

$84.99

DRM, a Design Research Methodology

$219.99

Functional Neuroimaging in Whiplash Injury

$79.99

Die Behandlung der Verrenkungen

$59.99

Economics of Reciprocity, Giving and Altruism

$109.99

Introduction to Mathematical Structures and Proofs

$59.95

Japans Zukunftsindustrien

$89.99

Antidepressants: Past, Present and Future

$649.99

Engstrm-Respirator

$69.99

Nectaries and Nectar

$219.99

Praxishandbuch Sanierung im Mittelstand

$129.00

Flexibilitt und Sicherheit

$74.99

Die Polizei

$44.99

Squeak

$39.99

Best of Scholastic Grades K-1

$125.00

Egyptian Coastal Lakes and Wetlands: Part I

$379.99

Epidemiologie, tiologie, Pathomorphologie und Pathogenese der Grippe

$44.99

Mechanisms of Gastrointestinal Motility and Secretion

$54.99

CCKS 2021 - Evaluation Track

$54.99

Der verborgene Hunger

$17.99

SDL 2005: Model Driven

$54.99

Die politische Funktionselite der DDR

$69.95

CORBA

$29.99

The Climate of Israel

$84.99

Effective Risk Communication

$54.99

Insect life-cycle polymorphism

$279.99

Virtuelle Kooperationen im Mittelstand

$59.99