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
The Physician's Guide to Delusional Infestation
$109.00
Die Gromchte und die Weltkrise
$59.99
Analyse von Transferprozessen in der Entwicklung des Bruchzahlbegriffs
$49.99
Infinite Processes
$54.99
Erfahrungsbezogener Unterricht in der Krankenpflege
$49.99
Systemtheorien in der Supervision
$74.99
Ion Exchange Technology II
$129.00
Dear Zoo: A Lift-the-Flap Book by Rod Campbell
$14.99
Biologically Inspired Techniques in Many-Criteria Decision Making
$219.99
Konzeption und Stand des Einsatzes von Data Dictionaries
$59.99
Acht- und Neunstellige Tabellen zu den Elliptischen Funktionen / Eight and Nine Place Tables of Elli
$44.99
Taschenbuch der Mathematik und Physik
$14.99
Presupposition and Implicature in Compositional Semantics
$84.99
Business Ecosystems
$129.99
Chinas Economy
$109.99
Phnomenologie und logischer Empirismus
$49.99
Poverty, International Migration and Asylum
$109.99
Sustainability
$79.99
Oxidative Stress in Lung Diseases
$219.99
Tearing Down the Streets
$54.99
Allgemein- und Regionalansthesie in der Traumachirurgie
$59.99
Sexual Inversion
$109.99
Towards A Common Future
$139.99
Critical Thinking for Managers
$79.99
Group Decision and Negotiation. A Process-Oriented View
$54.99
Verhandlungen der Deutschen Dermatologischen Gesellschaft
$59.99
Skeptische Rechtsphilosophie und humanes Strafrecht
$44.99
Kurzschlussstrme in Drehstromnetzen
$39.99
Leukosen Leukoblastome Mycosis Fungoides Lymphogranulomatose
$59.99
Technology-Enhanced Methods of Money Laundering
$119.99
The Royalists during the Puritan Revolution
$54.99
Geometry and Differential Geometry
$44.99
Immunsuppressive Therapie der multiplen Sklerose mit Cyclosporin A und Azathioprin
$54.99
Identity, Ethics, and Nonviolence in Postcolonial Theory
$109.99
Bladder Pain Syndrome An Evolution
$159.99
Vereinfachte Berechnung eingespannter Gewlbe
$44.99
Economic Models for Managing Cloud Services
$39.99
Price Elasticities in International Trade
$19.99
Shock and Damage Models in Reliability Theory
$109.99
Laboratory Guide to Insect Pathogens and Parasites
$84.99
