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 |