Analytic Proof: Mathematical analysis, Bernard Bolzano, Intermediate value theorem, proof theory, calculus, Structural Proof-theoretic semantics

Prices from
127.10

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

Analytic Proof: Mathematical analysis, Bernard Bolzano, Intermediate value theorem, proof theory, calculus, Structural Proof-theoretic semantics

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)

Analytic Proof: Mathematical analysis, Bernard Bolzano, Intermediate value theorem, proof theory, calculus, Structural Proof-theoretic semantics

Product specifications

Brand OmniScriptum
EAN
  • 9786132829214

OmniScriptum

Proof-Theoretic Semantics: Formal Semantics, Logical Connective, Tarski, Gerhard Gentzen, Dag Prawitz

€ 127.10
Compare 2 stores 2 stores

OmniScriptum

Gödel's Completeness Theorem: Mathematical Logic, Provability First-Order Kurt Gödel, Structure (Mathematical Logic),...

€ 145.79
Compare 2 stores 2 stores

Betascript Publishers

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

€ 145.79
Compare 2 stores 2 stores

OmniScriptum

Automated Theorem Proving: reasoning, Mathematical proof, Agda (theorem prover), theorem, Computer program,...

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