Intuitionistic Type Theory: Logical system, Set theory, Mathematical constructivism, Per Martin-Löf, Mathematician, Philosopher, Impredicative, ... Intensional, Proposition, theory

Prices from
145.79

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

Intuitionistic Type Theory: Logical system, Set theory, Mathematical constructivism, Per Martin-Löf, Mathematician, Philosopher, Impredicative, ... Intensional, Proposition, theory

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:

€ 145.79

€ 145.79

Description (0)

Intuitionistic Type Theory: Logical system, Set theory, Mathematical constructivism, Per Martin-Löf, Mathematician, Philosopher, Impredicative, ... Intensional, Proposition, theory

Product specifications

Brand OmniScriptum
EAN
  • 9786130750862

OmniScriptum

Mathematical Structure: Mathematics, Set (mathematics), Intuitionistic type theory, object, Measure Algebraic structure

€ 127.10
Compare 2 stores 2 stores

OmniScriptum

Giuseppe Peano: Mathematician, Philosopher, Mathematical logic, Set theory, Peano axioms, induction, University of Turin

€ 127.10
Compare 2 stores 2 stores

OmniScriptum

Felix Hausdorff: Mathematician, Topology, set theory, Descriptive theory

€ 108.41
Compare 2 stores 2 stores

Alphascript Publishing

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

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