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:
Bibliografske podrobnosti
Drugi avtorji: Wybraniec-Skardowska, Urszula (Editor), Citkin, Alex (Editor)
Format: Elektronski Book Chapter
Jezik:angleščina
Izdano: Basel, Switzerland MDPI - Multidisciplinary Digital Publishing Institute 2020
Teme:
cut
n/a
Online dostop:DOAB: download the publication
DOAB: description of the publication
Oznake: Označite
Brez oznak, prvi označite!

Internet

DOAB: download the publication
DOAB: description of the publication

3rd Floor Main Library

Podrobnosti zaloge 3rd Floor Main Library
Signatura: A1234.567
Kopija 1 Prosto