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

Edition en anglais

  • Springer

  • Paru le : 01/06/2010
Note moyenne : |
Ce produit n'a pas encore été évalué. Soyez le premier !
Donnez votre avis !
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... > Lire la suite
245,03 €
Neuf - Expédié sous 9 à 14 jours
  • ou
    Livré chez vous
    entre le 4 octobre et le 7 octobre
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