Reductive Logic and Proof-Search
Proof Theory, Semantics, and Control
Versandkostenfrei!
Versandfertig in über 4 Wochen
206,99 €
inkl. MwSt.
PAYBACK Punkte
103 °P sammeln!
Johnstone's "Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2".
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.
Andere Kunden interessierten sich für
