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

Name: Proof Procedure: Logic, Theory, Calculus, Natural Deduction, Gentzen
Brand: OmniScriptum
SKU: 8c59fb7a81c488bdaea0d9c4f646bee4

1/1

Prices from

168.22

Featured

Description

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

Compare webshops (2)

Shop

Price

€ 168.22

To Shop

€ 168.22

To Shop

Description (0)

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

Brand	OmniScriptum
EAN	9786134627078

OmniScriptum

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

OmniScriptum

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

OmniScriptum

Kappa Calculus: Mathematical logic, Category theory, Computer science

OmniScriptum

Propositional Proof System: Calculus, Complexity, Logic, Tautology