Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2020
Descrizione fisica
1 electronic resource (298 p.)
Soggetti
Research & information: general
Mathematics & science
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia
Sommario/riassunto
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.