Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 69.99 €
Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Logic and Computer Science

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 EnglishEnglish
Book Paperback
Book Logic and Computer Science Steven Homer
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
? points 63 b
25.74 €
50.34  лв
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 / Book Paperback
common.buy 8.68 € 16.97 лв
El Arte de Saludar y Presentar. El Telefono y las Redes Sociales - Guia Practica para la Gente de Hoy Eduardo Algimantas / E-book Adobe ePub DRM
common.buy 4.11 € 8.03 лв
Saint Grégoire de Nazianze Alain Durel / Book Paperback
common.buy 12.89 € 25.21 лв
Китайская мифология: обитатели небес, духи местности и демоны Анна Старостина / Book Hardback
common.buy 34.73 € 67.92 лв
ジェンダー平等の加速 主流化、実施、リ&#125 Oecd / Book Paperback
common.buy 73.27 € 143.30 лв
Dipterologiae Italicae Camillo Rondani / Book Paperback
common.buy 23.58 € 46.12 лв
Catalogue de Livres d'Art, de Gravures d'Ornement, Composant La Bibliotheque de M. E. C. / Book Paperback
common.buy 12.94 € 25.31 лв
Organisation des Musikwesens durch den Staat Franz Brendel / Book Paperback
common.buy 13.20 € 25.82 лв
En pareja : los secretos del amor y el desamor Paulino Castells Cuixart / Book Paperback
common.buy 9.30 € 18.18 лв
deutsch ideen SI - Ausgabe 2016 Baden-Württemberg Mareike Hümmer-Fuhr / Book Sheet
common.buy 14.18 € 27.73 лв
Wertkarten Zahlungsverkehr Stephan Klein / Book Paperback
common.buy 55.59 € 108.73 лв
Lehr- und Handbuch der politischen OEkonomie in einzelnen selbstandigen Abteilungen Adolph Wagner / Book Paperback
common.buy 37.50 € 73.35 лв
VOYAGE Daniele Steel / Book Paperback
common.buy 11.76 € 23.00 лв

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Logic and Computer Science
Author Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks
Language English
Binding Book - Paperback
Date of issue 2008
Number of pages 170
EAN 9783540527343
ISBN 3540527346
Libristo code 01565309
Publishers Springer, Berlin
Weight 275
Dimensions 157 x 237 x 10

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Aquaculture Science and Engineering Balamuralikrishnan Balasubramanian / Book Paperback
common.buy 224.74 € 439.55 лв
It's Raining Clients Howard Wolkowitz / Book Paperback
common.buy 13.20 € 25.82 лв
Those Who Call Themselves Jews Philip L Mayo / Book Hardback
common.buy 44.90 € 87.82 лв
Men of One Book Ian J. Maddock / Book Paperback
common.buy 33.91 € 66.32 лв
Current Developments in Immunosuppression Jim Wang / Book Hardback
common.buy 100.81 € 197.16 лв
New Hemi Engine Swaps: Joe Hinds / Book Paperback
common.buy 33.50 € 65.51 лв
The Paperboys Club (A Paranormal Thriller of Crime and Suspense) Thomas Fincham / Book Paperback
common.buy 14.43 € 28.23 лв
Changing Minds Guy Newland / Book Paperback
common.buy 33.75 € 66.02 лв
Lord's Work in the Lord's Way and No Little People Ray Ortlund / Book Paperback
common.buy 7.60 € 14.86 лв
The Progress of Marine Engineering Thomas Main / Book Paperback
common.buy 20.44 € 39.99 лв
8 Frog Street REZAUL KHAN / Book Paperback
common.buy 14.59 € 28.53 лв
Post-growth Economics and Society Isabelle Cassiers / Book Paperback
common.buy 62.99 € 123.20 лв
Mystic Test Book, or the Magic of the Cards Olney H. Richmond / Book Paperback
common.buy 15.87 € 31.04 лв
At The Sign Of The Red Swan (1919) Ambrose Elwell / Book Paperback
common.buy 28.36 € 55.46 лв
Survivors Alex Schulman / Book Paperback
common.buy 15.36 € 30.04 лв
Unionists in the Heart of Dixie GLENDA MCWHIRT TODD / Book Paperback
common.buy 30.41 € 59.48 лв
Punch, or the London Charivari Owen Seaman / Book Paperback
common.buy 16.85 € 32.95 лв
Introduction to Quantitative Finance Stephen Blyth / Book Paperback
common.buy 68.03 € 133.05 лв
Phonons: Theory and Experiments II Peter Brüesch / Book Paperback
common.buy 51.27 € 100.28 лв
Pediatric and Adolescent Gynecology, An Issue of Obstetrics and Gynecology Clinics S. Paige Hertweck / Book Hardback
common.buy 85.75 € 167.72 лв
Doctor Scandalous Julie Saman / Book Paperback
common.buy 13.82 € 27.02 лв
Out of the Box and Over the Barriers Donna Strugar-Fritsch / Book Paperback
common.buy 15.31 € 29.94 лв
The Claims Of Labor: An Essay On The Duties Of The Employers To The Employed (1845) Arthur Helps / Book Paperback
common.buy 31.29 € 61.19 лв
God's Boundary Sunday Okoh / Book Paperback
common.buy 14.69 € 28.73 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?