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
Fish on the Move
$39.99
RNA Nanotechnology and Therapeutics
$109.99
Speech and Computer
$54.99
Transactional Memory, Second Edition
$44.99
Facetten des Vertrauens und Misstrauens
$64.99
Angewandte Statistik mit SPSS
$34.99
Rethinking the San Francisco System in Indo-Pacific Security
$109.00
Translation Education
$169.99
Social Equality in Education
$99.99
Boredom in the Foreign Language Classroom
$99.00
Kinder- und Jugendpsychiatrie
$69.99
Multiple Classifier Systems
$39.99
Australian Imperialism
$54.99
Perioperative Addiction
$109.99
Numerical Methods for Ordinary Differential Equations
$37.99
Recent Advances in Chemical Engineering
$169.99
Bauphysikalische Aufgabensammlung mit Lsungen
$54.99
Crisis Reporters, Emotions, and Technology
$31.00
Proceedings of the 16th International Meshing Roundtable
$169.00
Fluorescent Methods for Molecular Motors
$109.99
The Cytoskeleton of Flagellate and Ciliate Protists
$169.99
Specification and Design of Software Systems
$14.99
Representations of Internarrative Identity
$54.99
Miteinander oder Gegeneinander
$64.99
Polly Diamond and the Magic Book
$5.21
Smart Computer Vision
$149.00
Quantum Chemistry of Solids
$219.99
Targeted Learning
$199.99
Institutionenkonomie und Neuer Institutionalismus
$59.99
Business-Wissen Projektmanagement von A - Z
$149.99
Computer Analysis of Sequence Data Part II
$84.99
Genocide, Risk and Resilience
$39.99
Geophysik in Heidelberg
$69.99
Animal Models of Movement Disorders
$89.00
Committees of Influence
$139.99
Reasoning Web
$44.99
Programmierung von Prozerechnern
$59.99
Fluidische Bauelemente und Netzwerke
$84.99
Computer and Computing Technologies in Agriculture VII
$84.99
What Matters? Research Trends in International Comparative Studies in Mathematics Education
$109.00
