Author: Alex Citkin
Publisher: MDPI
ISBN: 303943358X
Category : Mathematics
Languages : en
Pages : 298
Book Description
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.