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

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

$29.99
See Site In stock Visit Store

Similar Products

Electronic Beam Steering and Polarization Agile Planar Antennas in Liquid Crystal Technology

$109.99

J.D. the Kid Barber: J.D. and the Great Barber Battle

$5.96

Employment Relations in France

$84.99

Cardiac Valvular Medicine

$84.99

Evolutionary Algorithms in Engineering Applications

$109.99

Craftspeople and Designer Makers in the Contemporary Creative Economy

$54.99

Groups Acting on Hyperbolic Space

$139.99

International Law and Japanese Sovereignty

$159.99

Das Neutralisationsvermgen der Haut gegenber Laugen und seine Beziehung zur Kohlensureabgabe

$59.99

British, French and American Relations on the Western Front, 19141918

$99.99

Data Mining im praktischen Einsatz

$59.99

The Black Sea from Paleogeography to Modern Navigation

$119.00

Practices of Irrigation & On-farm Water Management: Volume 2

$89.00

Fiber-Optic Transmission Networks

$109.99

Security Strategies in the Asia-Pacific

$54.99

Quantum Mechanical Simulation Methods for Studying Biological Systems

$109.99

Biocommunication in Soil Microorganisms

$219.99

Physics of Crystalline Dielectrics

$39.99

Einfhrung in die Theorie und Praxis der Entscheidung bei Unsicherheit

$64.99

Green, Pervasive, and Cloud Computing

$54.99

Reputation in der Mediengesellschaft

$64.99

Cytotoxic Anticancer Drugs: Models and Concepts for Drug Discovery and Development

$169.00

The Active Image

$99.00

Geometric Etudes in Combinatorial Mathematics

$49.99

Bio- and Nanosorbents from Natural Resources

$84.99

Optical Networks

$129.00

Transcending Greedy Money

$54.99

Extraction of Natural Products Using Near-Critical Solvents

$169.00

Case Studies in Human Relations

$54.99

Experimental Design and Model Choice

$39.99

Gemeinschaftsformen in der modernen Stadt

$59.99

eDemocracy & eGovernment

$54.99

Duplexsonographie von Dialyseshunts

$79.99

Kompendium Medieninformatik

$39.99

dBASE III Software Training

$69.99

Green High-Performance Concrete with Manufactured Sand

$129.00

Selected Topics in Convex Geometry

$39.99

Essentials of Food Science

$54.99

Safety and Resilience of Higher Educational Institutions

$119.00

Student Migrants and Contemporary Educational Mobilities

$129.99