•  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

Hybrid Logic and Its Proof-Theory

Torben Braüner
Livre broché | Anglais | Applied Logic | n° 37
162,45 €
+ 324 points
Format
Livraison 1 à 2 semaines
Passer une commande en un clic
Payer en toute sécurité
Livraison en Belgique: 3,99 €
Livraison en magasin gratuite

Description

Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic.

Spécifications

Parties prenantes

Auteur(s) :
Editeur:

Contenu

Nombre de pages :
231
Langue:
Anglais
Collection :
Tome:
n° 37

Caractéristiques

EAN:
9789400734357
Date de parution :
02-01-13
Format:
Livre broché
Format numérique:
Trade paperback (VS)
Dimensions :
156 mm x 234 mm
Poids :
353 g
Librairie Club

Seulement chez Librairie Club

+ 324 points sur votre carte client de Librairie Club
INSPIRATION

Idées cadeaux pour la fin d'année

Dans notre sélection vous trouverez le cadeau pour faire briller les yeux de vos proches.
INSPIRATION
Fin d'année 2025
Standaard Boekhandel

Les avis

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