Natural Deduction, Hybrid Systems and Modal Logics
This volume provides an extensive treatment of Natural Deduction and related types of proof systems, with a focus on the practical aspects of proof methods. The book has two main aims: Its first aim is to provide a systematic and historical survey of the variety of Natural Deduction systems in Class...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Dordrecht :
Springer Netherlands
[20..].
Cham : Springer Nature |
| Édition: | 1st ed. 2010. |
| Collection: | Trends in Logic, Studia Logica Library
30 |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Natural deduction, hybrid systems and modal logics, by Andrzej Indrzejczak, Dordrecht, Springer, 2010, 1 vol. (xxiii-491 p.), Trends in logic, 978-90-481-8784-3 |