Deductive Systems in Traditional and Modern Logic
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.
Saved in:
HerausgeberIn: | |
---|---|
Sonstige: | |
Year of Publication: | 2020 |
Language: | English |
Physical Description: | 1 electronic resource (298 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Electronic
DOAB Directory of Open Access Books | Available |