Zu "sequent calculus" wurden 18 Produkte gefunden
HOME
Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
160,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
The Semantics and Proof Theory of the Logic of Bunched Implications
160,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
160,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
The Semantics and Proof Theory of the Logic of Bunched Implications
160,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Reasoning with Analytic Tableaux and Related Methods
42,79 €*
Preise inkl. MwSt. zzgl. Versandkosten