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

Prices from
127.10

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

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

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)

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

Product specifications

Brand OmniScriptum
EAN
  • 9786132802385

Betascript Publishers

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

€ 145.79
Compare 2 stores 2 stores

OmniScriptum

Logical Reasoning: Logic, Deductive Reasoning, Inductive Reasoning

€ 127.10
Compare 2 stores 2 stores

Kessinger Publishing Co

The Mathematical Analysis Of Logic: Being An Essay Towards A Calculus Deductive Reasoning (1847)

€ 33.60
More Information More Info

OmniScriptum

Hilbert System: Mathematical Logic, Deductive Reasoning, Gottlob Frege, David Hilbert, System, First-Order...

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