•  Retrait en 2 heures
  •  Assortiment impressionnant
  •  Paiement sécurisé
  •  Toujours un magasin près de chez vous
  •  Retrait gratuit dans votre magasin Club
  •  7.000.0000 titres dans notre catalogue
  •  Payer en toute sécurité
  •  Toujours un magasin près de chez vous
172,95 €
+ 345 points
Livraison 2 à 3 semaines
Passer une commande en un clic
Payer en toute sécurité
Livraison en Belgique: 3,99 €
Livraison en magasin gratuite

Description

This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects. Applications to issues in logic and computer science such as completeness, computability and complexity are considered.

Spécifications

Parties prenantes

Auteur(s) :
Editeur:

Contenu

Nombre de pages :
578
Langue:
Anglais
Collection :
Tome:
n° 53

Caractéristiques

EAN:
9780521527149
Date de parution :
30-09-02
Format:
Livre broché
Format numérique:
Trade paperback (VS)
Dimensions :
156 mm x 226 mm
Poids :
889 g
Librairie Club

Seulement chez Librairie Club

+ 345 points sur votre carte client de Librairie Club
CADEAU

Ticket de cinéma offert

à l'achat d'un Bongo à partir de 39 €
CADEAU
Ticket de cinéma offert
CADEAU

Uniquement dans nos magasins : livret recettes exclusif offert

à l'achat d'un livre de la sélection
CADEAU
Livret de recettes exclusif offert
CONCOURS

Uniquement dans nos magasins : gagnez un voyage à Prague

à l'achat du nouveau Dan Brown
CONCOURS
Gagnez un voyage à Prague
Standaard Boekhandel

Les avis

Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.