Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Logic and Computer Science
Best Price (Coupon Required):
Buy Logic and Computer Science for $27.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.
Single Product Purchase
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
|
|
$29.99 | $29.99 |
|
10% OFF
This deals requires coupon
|
$27.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Chinas Energy Security
$129.99
Mobile Interactions in Context
$29.99
Rethinking Borders
$84.99
Die Ernhrung der arbeitenden Klassen
$69.95
New Approaches and Concepts in Turbulence
$109.99
The Structure and Evolution of the Sun
$59.99
X-Ray Optics
$39.99
Decision Science and Technology
$169.00
Perspectives on Mind
$109.99
History Education in the Formation of Social Identity
$79.99
Plasticity and failure behavior of solids
$219.99
Theorie der Industriekonomik
$54.99
Making it Formally Explicit
$169.99
Der Mythos vom Niedergang der Intelligenz
$39.99
Wie man mit Rassisten diskutiert
$19.99
Advances in Artificial Intelligence and Security
$109.99
Power System Operation with Scale Stochastic Wind Power Integration
$109.99
Evolutionary Based Solutions for Green Computing
$169.99
Spieltheorie und Marketing
$59.99
Future Public Health
$54.99
Biochemisches Handlexikon
$59.99
Filming and Performing Renaissance History
$54.99
CIM im Mittelstand
$69.99
In the Desert
$3.71
Purifying and Indexing Technology for Nucleic Acids-Based Next Generation Storage
$139.00
Biogeography and Ecology in New Zealand
$54.99
New Trends in Reproductive Medicine
$84.99
Histories of Social Studies and Race: 18652000
$39.99
Common Market Law Review
$54.99
Chemical Methods for Assessing Bio-Available Metals in Sludges and Soils
$169.99
Illustrated C# 2012
$39.99
Social Transformation and Migration
$54.99
Die Projekt-Methode
$39.99
Plants as Solar Collectors: Optimizing Productivity for Energy
$169.99
Pro SQL Server 2008 Replication
$99.99
Automated Reasoning with Analytic Tableaux and Related Methods
$39.99
Forest Therapy - The Potential of the Forest for Your Health
$37.99
Business Process Management
$54.99
Themes from Klein
$109.99
Civil Procedure in France
$39.99
