-
Mathesis Universalis, Computability and Proof
EbookSofort lieferbarThe contributors of Mathesis Universalis, Compu...
-
-
Automated Reasoning with Analytic Tableaux and Related Methods
EbookSofort lieferbarThis book constitutes the proceedings of the 30...
-
Mathesis Universalis, Computability and Proof
TaschenbuchPrint on DemandIn a fragment entitled Elementa Nova Matheseos ...
-
Structural Proof Theory
TaschenbuchPrint on DemandA concise introduction to structural proof theo...
-
-
-
Mathesis Universalis, Computability and Proof
BuchPrint on DemandIn a fragment entitled Elementa Nova Matheseos ...
-
Advances in Modal Logic, Volume 13
TaschenbuchPrint on DemandLogic deals with the fundamental notions of tru...
-
Automated Reasoning with Analytic Tableaux and Related Methods
TaschenbuchPrint on DemandThis book constitutes the proceedings of the 30...
-
Investigations into the Predicate Calculus
TaschenbuchPrint on DemandOiva Ketonen (1913--2000) was the closest to a ...
-
Proof Analysis
BuchBesorgungstitel - wird vorgemerktPresents a new way of applying the methods of p...
- 1
Folgen Sie uns auf:
