Explore
Deductive Systems in Traditional and Modern Logic
0 Ungluers have
Faved this Work
Login to Fave
The book provides a contemporary view on different aspects of the deductive systems in various types of logics including term logics, propositional logics, logics of refutation, non-Fregean logics, higher order logics and arithmetic.
This book is included in DOAB.
Why read this book? Have your say.
You must be logged in to comment.