Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Logic and Computer Science

Name: Logic and Computer Science
Brand: Springer, Berlin
SKU: 01565309
Price: 10223 HUF
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

68 b

10 223 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

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

Paperback

3 270 Ft

Там, где цветет полынь Ольга Птицева

Paperback

6 347 Ft

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

Adobe ePub DRM

1 396 Ft

Saint Grégoire de Nazianze Alain Durel

Paperback

4 501 Ft

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

Hardback

11 993 Ft

ジェンダー平等の加速 主流化、実施、リ&#125 Oecd

Paperback

26 371 Ft

Dipterologiae Italicae Camillo Rondani

Paperback

9 049 Ft

Catalogue de Livres d'Art, de Gravures d'Ornement, Composant La Bibliotheque de M. E. C.

Paperback

4 984 Ft

Organisation des Musikwesens durch den Staat Franz Brendel

Paperback

4 998 Ft

En pareja : los secretos del amor y el desamor Paulino Castells Cuixart

Paperback

3 242 Ft

deutsch ideen SI - Ausgabe 2016 Baden-Württemberg Mareike Hümmer-Fuhr

Sheet

5 627 Ft

Wertkarten Zahlungsverkehr Stephan Klein

Paperback

20 938 Ft

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

Paperback

14 165 Ft

VOYAGE Daniele Steel

Paperback

4 113 Ft

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.