Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Logic and Computer Science

Name: Logic and Computer Science
Brand: Springer, Berlin
SKU: 01565309
Price: 26.99 EUR
Availability: InStock
Author: Steven Homer
ISBN: 9783540527343

Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

Language

English

Book Paperback

Libristo code: 01565309

Publishers Springer, Berlin, November 2007

The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderl... Full description

Libristo code: 01565309

66 b

26.99 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Journal of Approximation Theory and Applied Mathematics - 2014 Vol. 3 Marco Schuchmann

Paperback

8.99 €

VOYAGE Daniele Steel

Paperback

12.99 €

Китайская мифология: обитатели небес, духи местности и демоны Анна Старостина

Hardback

34.49 €

El Arte de Saludar y Presentar. El Telefono y las Redes Sociales - Guia Practica para la Gente de Hoy Eduardo Algimantas

Adobe ePub DRM

3.99 €

Saint Grégoire de Nazianze Alain Durel

Paperback

14.09 €

Lehr- und Handbuch der politischen OEkonomie in einzelnen selbstandigen Abteilungen Adolph Wagner

Paperback

39.90 €

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.