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...
|Main Author:||Indrzejczak, Andrzej.|
|Corporate Author:||SpringerLink (Online service)|
Trends in Logic ;
No Tags, Be the first to tag this record!