Natural Deduction, Hybrid Systems and Modal Logics (Cartonné)

Edition en anglais

Andrzej Indrzejczak

Note moyenne : | 0 avis
Ce produit n'a pas encore été évalué. Soyez le premier !
  • Springer

  • Paru le : 01/06/2010
  • 1 million de livres à découvrir
  • Livraison à domicile à partir de 0,01 €
  • Paiement sécurisé, débit à l'expédition
245,03 €
Neuf - Expédié sous 8 à 14 jours
  • ou
    Livré chez vous
    entre le 28 août et le 2 septembre
ou
Votre note
This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.
  • Date de parution : 01/06/2010
  • Editeur : Springer
  • Collection : Trends in Logic
  • ISBN : 978-90-481-8784-3
  • EAN : 9789048187843
  • Présentation : Cartonné
  • Poids : 0.871 Kg
  • Dimensions : 15,5 cm × 24,2 cm × 3,5 cm

Nos avis clients sur decitre.fr


Avis Trustpilot

Natural Deduction, Hybrid Systems and Modal Logics est également présent dans les rayons

Andrzej Indrzejczak - Natural Deduction, Hybrid Systems and Modal Logics.
Natural Deduction, Hybrid Systems and Modal Logics
245,03 €
Haut de page
Decitre utilise des cookies pour vous offrir le meilleur service possible. En continuant votre navigation, vous en acceptez l'utilisation. En savoir plus OK

Ne partez pas tout de suite...

Inscription newsletter