Deductive Systems in Traditional and Modern Logic
Download or Read eBook Deductive Systems in Traditional and Modern Logic PDF written by Alex Citkin and published by MDPI. This book was released on 2020-11-18 with total page 298 pages. Available in PDF, EPUB and Kindle.
Author | : Alex Citkin |
Publisher | : MDPI |
Total Pages | : 298 |
Release | : 2020-11-18 |
ISBN-10 | : 9783039433582 |
ISBN-13 | : 303943358X |
Rating | : 4/5 (82 Downloads) |
Book Synopsis Deductive Systems in Traditional and Modern Logic by : Alex Citkin
Book excerpt: 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.