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

Prices from
108.41

Featured

COMPARE ALL WEBSHOPS (2)

Description

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

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

Compare webshops (2)

Shop
Price
Amazon Logo
€ 108.41
To Shop
Amazon Marketplace Logo
€ 108.41
To Shop
Description (0)

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

Product specifications

Brand OmniScriptum
EAN
  • 9786130821357

OmniScriptum

Linear Logic: Substructural logic, Jean-Yves Girard, Classical Intuitionistic Duality (mathematics), Constructivism Programming...

€ 145.79
Compare 2 stores 2 stores

NEGATION IN INTUITIONISTIC LOGIC AND NAVYA NYAYA

€ 19.14
More Information More Info

Alphascript Publishing

Foundations of Mathematics: mathematics, Mathematical logic, Set theory, Proof Model Type Computability Philosophy Proposition

€ 201.87
Compare 2 stores 2 stores

Books On Demand

Formal Logic: Propositional Logic, Predicate Modal and Non-Classical Logics

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