sara negri
Proof Analysis
EbookSofort lieferbarThis book continues from where the authors' previous book, Structural Proof Theory, ended. It pre...
Mathesis Universalis, Computability and Proof
EbookSofort lieferbarThe contributors of Mathesis Universalis, Computability and Proof, leading experts in the fields ...
Automated Reasoning with Analytic Tableaux and Related Methods
EbookSofort lieferbarThis book constitutes the proceedings of the 30th International Conference on Automated Reasoning...
Advances in Modal Logic, Volume 13
TaschenbuchBezug 6-10Logic deals with the fundamental notions of truth and falsity. Modal logic arose from thephiloso...
Investigations into the Predicate Calculus
TaschenbuchBezug 6-10Oiva Ketonen (1913--2000) was the closest to a student the creator of modern proof theory Gerhard...
Structural Proof Theory
TaschenbuchBezug 11-15A concise introduction to structural proof theory, a branch of logic studying the general structu...
Mathesis Universalis, Computability and Proof
TaschenbuchBezug 11-15In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes 'the ...
Structural Proof Theory
BuchBezug 11-15A concise introduction to structural proof theory, a branch of logic studying the general structu...
Proof Analysis
TaschenbuchBezug 11-15This book continues from where the authors' previous book, Structural Proof Theory, ended. It pre...
Mathesis Universalis, Computability and Proof
BuchBezug 11-15In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes 'the ...
Automated Reasoning with Analytic Tableaux and Related Methods
TaschenbuchBezug 11-15This book constitutes the proceedings of the 30th International Conference on Automated Reasoning...
- 1