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.
Shranjeno v:
Drugi avtorji: | , |
---|---|
Format: | Elektronski Book Chapter |
Jezik: | angleščina |
Izdano: |
Basel, Switzerland
MDPI - Multidisciplinary Digital Publishing Institute
2020
|
Teme: | |
Online dostop: | DOAB: download the publication DOAB: description of the publication |
Oznake: |
Označite
Brez oznak, prvi označite!
|
Internet
DOAB: download the publicationDOAB: description of the publication
3rd Floor Main Library
Signatura: |
A1234.567 |
---|---|
Kopija 1 | Prosto |