Cut-elimination Theorem: Sequent calculus, Gerhard Gentzen, Classical logic, Sequent, Tautology (logic), Intuitionistic Law of the excluded ... theory, Lemma (mathematics), Admissible rule

Prices from
127.10

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

Cut-elimination Theorem: Sequent calculus, Gerhard Gentzen, Classical logic, Sequent, Tautology (logic), Intuitionistic Law of the excluded ... theory, Lemma (mathematics), Admissible rule

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:

€ 127.10

€ 127.10

Description (0)

Cut-elimination Theorem: Sequent calculus, Gerhard Gentzen, Classical logic, Sequent, Tautology (logic), Intuitionistic Law of the excluded ... theory, Lemma (mathematics), Admissible rule

Product specifications

Brand OmniScriptum
EAN
  • 9786130764326

Betascript Publishers

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

€ 145.79
Compare 2 stores 2 stores

OmniScriptum

Markov's Principle: Andrey Markov (Soviet mathematician), Tautology (logic), Intuitionistic Logic, Constructivism (mathematics).

€ 108.41
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

Reverse Mathematics: Mathematical Logic, Theorem, Axiom, Axiom of Choice, Zorn's Lemma, ZF Set Theory

€ 201.87
Compare 2 stores 2 stores
Featured Choice
€ 127.10
To Shop