Sequent Calculus: Formal System, Mathematical Logic, Proof Theory, Gerhard Gentzen, Natural Deduction

Prices from
145.79

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

Sequent Calculus: Formal System, Mathematical Logic, Proof Theory, Gerhard Gentzen, Natural Deduction

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

€ 145.79

€ 145.79

Description (0)

Sequent Calculus: Formal System, Mathematical Logic, Proof Theory, Gerhard Gentzen, Natural Deduction

Product specifications

Brand Betascript Publishers
EAN
  • 9786130577834

OmniScriptum

Proof Procedure: Logic, Theory, Calculus, Natural Deduction, Gentzen

€ 168.22
Compare 2 stores 2 stores

OmniScriptum

Cut-elimination Theorem: Sequent calculus, Gerhard Gentzen, Classical logic, Sequent, Tautology (logic), Intuitionistic...

€ 127.10
Compare 2 stores 2 stores

OmniScriptum

Sequent: Proof theory, calculus, Deductive reasoning, Judgment (mathematical logic), Turnstile (symbol), Metalanguage, Logical conjunction

€ 127.10
Compare 2 stores 2 stores

OmniScriptum

Consistency: logic, Theory (mathematical logic), Term Formula Paul Bernays, Emil Post, Predicate...

€ 145.79
Compare 2 stores 2 stores
Featured Choice
€ 145.79
To Shop