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...
| Κύριος συγγραφέας: | |
|---|---|
| Συγγραφή απο Οργανισμό/Αρχή: | |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Dordrecht :
Springer Netherlands,
2010.
|
| Σειρά: | Trends in Logic ;
30 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
