Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2010.
|
| Edición: | 1st ed. 2010. |
| Colección: | Trends in Logic, Studia Logica Library,
30 |
| Temas: | |
| Acceso en línea: | Texto Completo |