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!
|
Similar Items
-
Introduction to logic and to the methodology of the deductive sciences / by Alfred Tarski.
by: Tarski, Alfred.
Published: (1994.) -
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
by: Weiß, Benjamin
Published: (2011) -
Explanation and deduction : a defence of deductive chauvinism / Henrik Hållsten
by: Hållsten, Henrik
Published: (2001) -
Inductive or deductive? : : the impact of method of instruction on the acquisition of pragmatic competence in EFL / / by Karen Glaser.
by: Glaser, Karen,
Published: (2014.) -
Greek Foundations of Traditional Logic / / Ernst Kapp.
by: Kapp, Ernst,
Published: ([1942])