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

Prijzen vanaf
50,27

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

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

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Shop
Prijs
Verzendkosten
Totale prijs
Amazon Logo
50,27
Gratis
50,27
Naar shop
Gratis Shipping Costs
Amazon Marketplace Logo
50,27
Gratis
50,27
Naar shop
Gratis Shipping Costs
Beschrijving (0)

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

Productspecificaties

Merk OmniScriptum
EAN
  • 9786130751098

OmniScriptum

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

118,17
Vergelijk 2 shops 2 shops

OmniScriptum

Computability Logic: Giorgi Japaridze, theory, Classical logic, Church Turing thesis, Conservative extension,...

27,61
Vergelijk 2 shops 2 shops

Algebra, Logic and Applications Semantics of Programming Languages Model Theory

111,67
Meer informatie Meer info

OmniScriptum

Dependent Type: Computer science, Logic, type system, Intuitionistic theory, Functional programming languages

41,03
Vergelijk 2 shops 2 shops
Uitgelichte Keuze
50,27
Naar shop