Author | : Alex Citkin |
File Size | : 44,8 Mb |
Publisher | : MDPI |
Language | : English |
Release Date | : 18 November 2020 |
ISBN | : 9783039433582 |
Pages | : 298 pages |
Deductive Systems in Traditional and Modern Logic by Alex Citkin Book PDF Summary
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.