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...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Dordrecht :
Springer Netherlands
[20..].
Cham : Springer Nature |
| Vydání: | 1st ed. 2010. |
| Edice: | Trends in Logic, Studia Logica Library
30 |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
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 |