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

Logic and Computer Science

Logic and Computer Science

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

The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.

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

Single Product Purchase

$27.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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
$29.99 $29.99

10% OFF
This deals requires coupon Get Code Here
$27.00
See Site In stock Visit Store

Similar Products

EAI International Conference on Renewable Energy and Sustainable Manufacturing

$249.99

Transneuronal Degeneration in the Pontine Nuclei of the Cat

$109.99

Grundzge der Zerspanungslehre

$84.99

Psychologie und Klimakrise

$17.99

Topics in Knot Theory

$219.99

Advances in Machine Learning I

$169.00

Whatever Happened to the Third World?

$84.99

Older South Asian Migrant Womens Experiences of Ageing in the UK

$119.99

Managementkonzepte aus Sicht der Organisationskultur

$79.99

Einfhrung in das Logistik-Management

$54.99

Wie Chefs Konflikte Meistern

$69.99

Mehrspindel-Automaten

$59.99

Lehrbuch der Algebra

$49.99

Power Prediction Modeling of Conventional High-Speed Craft

$99.00

Spectroscopic and Computational Studies of Supramolecular Systems

$169.99

Charakterisierung von Wartezeiten in verschiedenen Modellen von Quantennetzwerken

$39.99

Interdisciplinary Perspectives on Covid-19 and the Caribbean, Volume 1

$119.00

Biosimilars

$199.99

Advances in Web-Based Learning -- ICWL 2003

$109.99

Die Neue Rechte in den USA

$59.99

Handbook of Crystallography

$39.99

Investigations in Computational Sarcasm

$109.99

Learn C on the Mac

$29.99

Active Rules in Database Systems

$129.00

Dermatological Atlas of Indigenous People

$169.99

Survey of Industrial Chemistry

$299.99

Current Orthopedic diagnosis & treatment

$39.99

Strength of Fibrous Composites

$84.99

Die magnetische Drehung der Polarisationsebene bei wachsender Doppelbrechung in dilatiertem Glas

$54.99

UAVs and Urban Spatial Analysis

$199.99

Nanoparticles from the Gasphase

$84.99

Current Controversies in Cancer Care for the Surgeon

$54.99

Psychiatrische Institutionen

$69.99

In the Inmost Hour of the Soul

$39.99

Emotion and the Law

$84.99

Analytische Angebotskalkulation im Stahl- und Apparatebau mit empirischen Werten

$59.99

Gender, Crime and Justice

$44.99

Progressive Censoring

$199.00

Handbuch der dermatologischen Phototherapie und Photodiagnostik

$44.99

Eicosanoids and other Bioactive Lipids in Cancer, Inflammation, and Radiation Injury 3

$259.00