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:
Other Authors: | , |
---|---|
Format: | Book Chapter |
Published: |
Basel, Switzerland
MDPI - Multidisciplinary Digital Publishing Institute
2020
|
Subjects: | |
Online Access: | Get Fullteks DOAB: description of the publication |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Internet
Get FullteksDOAB: description of the publication
3rd Floor Main Library
Call Number: |
A1234.567 |
---|---|
Copy 1 | Available |