Intuitionistic Type Theory: Logical system, Set theory, Mathematical constructivism, Per Martin Löf, Mathematician, Philosopher, Impredicative, ... Intensional, Proposition, theory
Prijzen vanaf
50,27
Uitgelicht
|
50,27 |
Naar shop
|
|
50,27 |
Naar shop
|
| VERGELIJK ALLE AANBIEDERS (2) | ||
Beschrijving
Intuitionistic Type Theory: Logical system, Set theory, Mathematical constructivism, Per Martin Löf, Mathematician, Philosopher, Impredicative, ... Intensional, Proposition, theory
Beschrijving
(0)
Intuitionistic Type Theory: Logical system, Set theory, Mathematical constructivism, Per Martin Löf, Mathematician, Philosopher, Impredicative, ... Intensional, Proposition, theory
Productspecificaties
Gerelateerde resultaten
Uitgelichte Keuze
50,27
