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

Der Jahresabschlu der Unternehmung

$69.95

Epoxydverbindungen und Epoxydharze

$59.99

Vectors as Tools for the Study of Normal and Abnormal Growth and Differentiation

$109.99

Introduction to Piecewise-Linear Topology

$89.00

Smart Retailing

$64.99

Wohnen, Alter und Protest

$59.99

Lifelong Learning in Later Life

$49.99

The Palgrave Handbook of Global Arts Education

$279.99

Unpolitische Jugend?

$69.99

Schaltzeitverkrzung im schweren Nutzfahrzeug mittels Synchronisation durch eine induzierte Antriebs

$49.99

Next Generation Information Technologies and Systems

$54.99

Balancing Islamic and Conventional Banking for Economic Growth

$59.99

Uglies: Pretties

$5.99

Denkmal und Energie 2018

$49.99

Metabotropic GPCRs: TGR5 and P2Y Receptors in Health and Diseases

$84.99

Data Governance fr Manager

$44.99

Scholastic Text Sets Kindergarten: Complete Set

$469.00

Kosmische Strahlung

$69.99

Einfhrung in die Geschichte der Soziologie

$34.99

Guide to Unemployment Reduction Measures

$54.99

Sertoli Cells

$84.99

Serviceroboter

$44.99

Mehrspindel-Automaten

$59.99

The European Union in Global Security

$39.99

Management der Filiallogistik im Lebensmitteleinzelhandel

$79.99

Local Immunosuppression of Organ Transplants

$39.99

The Coexistence of Genetically Modified, Organic and Conventional Foods

$109.99

Physics of desertification

$169.99

kologische Kompetenz

$59.99

Mitarbeiterfhrung

$54.99

Extracranial Carotid and Vertebral Artery Disease

$129.99

The Welfare System of Universal Integration in China

$109.00

The Dictionary of Modern Economics

$29.99

Topics in Advanced Econometrics

$109.99

Trends in Artificial Intelligence and Computer Engineering

$249.99

Trainingsbuch Fernsehreportage

$29.99

Tacky the Penguin by Helen Lester

$9.99

Das ist o.B.d.A. trivial!

$54.99

Linear Operators and Matrices

$39.99

Smart Plant Breeding for Vegetable Crops in Post-genomics Era

$249.99