OmniScriptum

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

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

1/1

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

Amazon Marketplace

Prices from

127.10

Featured

	€ 127.10	To Shop
	€ 127.10	To Shop
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

Compare webshops (2)

Shop

Price

€ 127.10

To Shop

€ 127.10

To Shop

Description (0)

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