-
TaschenbuchPrint on Demand
Presents a new way of applying the methods of proof theory to axiomatic theories and systems of p...
-
BuchPrint on Demand
A concise introduction to structural proof theory, a branch of logic studying the general structu...
-
TaschenbuchPrint on Demand
A concise introduction to structural proof theory, a branch of logic studying the general structu...
-
TaschenbuchPrint on Demand
In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes ¿the mathesis [...
-
BuchPrint on Demand
In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes ¿the mathesis [...
-
TaschenbuchPrint on Demand
Logic deals with the fundamental notions of truth and falsity. Modal logic arose from thephiloso...
-
TaschenbuchPrint on Demand
This book constitutes the proceedings of the 30th International Conference on Automated Reasoning...
-
TaschenbuchPrint on Demand
Oiva Ketonen (1913--2000) was the closest to a student the creator of modern proof theory Gerhard...
- 1