Linear Logic: Substructural logic, Jean-Yves Girard, Classical Intuitionistic Duality (mathematics), Constructivism Programming languages, Game semantics, Quantum physics

Prices from
145.79

Featured

COMPARE ALL WEBSHOPS (2)

Description

Linear Logic: Substructural logic, Jean-Yves Girard, Classical Intuitionistic Duality (mathematics), Constructivism Programming languages, Game semantics, Quantum physics

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Sort by:

€ 145.79

€ 145.79

Description (0)

Linear Logic: Substructural logic, Jean-Yves Girard, Classical Intuitionistic Duality (mathematics), Constructivism Programming languages, Game semantics, Quantum physics

Product specifications

Brand OmniScriptum
EAN
  • 9786130751098

OmniScriptum

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

€ 108.41
Compare 2 stores 2 stores

OmniScriptum

Bunched Logic: Substructural Logic, Linear Affine Logic

€ 145.79
Compare 2 stores 2 stores

OmniScriptum

Computability Logic: Giorgi Japaridze, theory, Classical logic, Church-Turing thesis, Conservative extension, Intuitionistic Linear Logic

€ 108.41
Compare 2 stores 2 stores

OmniScriptum

Affine Logic: Substructural logic, Structural rule, Idempotency of entailment, Linear Monotonicity entailment

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