Free delivery for orders over 69.99€

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 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures

Name: Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures
Brand: Oxford University Press
SKU: 04527489
Price: 680.71 EUR
Availability: InStock
Author: Dov M. Gabbay
ISBN: 9780198537359

Dov M. Gabbay

T. S. E. Maibaum

S. Abramsky

Language

English

Book Hardback

Libristo code: 04527489

Publishers Oxford University Press, December 1992

The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of applica... Full description

Libristo code: 04527489

1665 b

680.71 €

1 331.35 лв

Print on demand Shipping in 17-26 days

Up to 30 days for returns

Customers also purchased

Ájurvéda Tajemství přírodní medicíny David Frawley

Paperback

16.47 € 32.20 лв

L'Atelier des Sorciers - La magie créatrice - Artbook luxe Kamome Shirahama

Hardback

151.86 € 297.01 лв

Aura Joylina Goodings

Hardback

9.51 € 18.60 лв

Etienne Gilson: Introduction a la Philosophie Chretienne Vrin

Paperback

15.24 € 29.80 лв

Suis le chemin bébé tigre Carolina Búzio

Hardback

18.46 € 36.11 лв

Conflicto armado y organizacion campesina JuanC Aceros

Adobe ePub DRM

7.97 € 15.60 лв

Die Literatur des Alten Indien Hermann Oldenberg

Paperback

25.47 € 49.81 лв

Tervattu Samalla Harjalla: Katsaus siihen, miten ihmisiä kohdellaan heidän musiikkimieltymystensä mukaan Colleen Sedgwick

Paperback

14.73 € 28.80 лв

Inmunidad Innata. Memoria personal en cinco episodios García-Olmedo

Paperback

13.96 € 27.30 лв

Enciclopédia das técnicas de ilustração de moda Nunnelly

Paperback

35.90 € 70.22 лв

La grotte Chauvet-Pont d'Arc Azéma

Paperback

6.90 € 13.50 лв

Madame Bovary Gustave Flaubert

Paperback

6.59 € 12.90 лв

Mądre bajki przyjaźń Antosiewicz Agnieszka

Hardback

5.16 € 10.09 лв

Historia powszechna Wiek XIX Chwalba Andrzej

Paperback

30.94 € 60.52 лв

Die Schlacht Bei Grodek-Lemberg, Juni 1915 (1918) Hermann Muller-Brandenburg

Paperback

21.02 € 41.11 лв

Jací jsou? Rusové collegium

Paperback

5.77 € 11.29 лв

Die Quotenmaschine Norman Ohler

Paperback

15.14 € 29.60 лв

Woolly Hugs Reliefpatent stricken Veronika Hug

Paperback

9.05 € 17.70 лв

Cuentos de la Selva Horacio Quiroga

Paperback

7.87 € 15.40 лв

The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science. The Handbook comprises six volumes. Each volume contains five or six chapters, giving an in-depth overview of one of the major topics in the field. It is the result of many years of co-operative effort by some of the most eminent frontline researchers in the area. It will no doubt be the standard reference work in logic and theoretical computer science for years to come - essential reading for all those interested in theoretical computer science and logic. volumes cover the background to the subject in terms of mathematical and computational structures. The authors are chosen on an international basis and are leaders in the fields covered. The Handbook is a closely coordinated work which has been under development for the past five years.