Kód: 02076085
Treatise on Intuitionistic Type Theory
Autor Johan Georg Granström
Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language. ... celý popis
- Jazyk:
Angličtina - Väzba: Brožovaná
- Počet strán: 212
Nakladateľ: Springer, 2013
- Viac informácií o knihe
152.02 €
Bežne: 156.29 €
Ušetríte 4.27 €
Skladom u dodávateľa
Odosielame za 6 - 8 dní
Mohlo by sa vám tiež páčiť
Darujte túto knihu ešte dnes
- Objednajte knihu a vyberte Zaslať ako darček.
- Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.
Viac informácií o knihe Treatise on Intuitionistic Type Theory
Nákupom získate 381 bodov
Anotácia knihy
Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language.
Parametre knihy
Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Calculus & mathematical analysis
152.02 €
- Celý názov: Treatise on Intuitionistic Type Theory
- Autor: Johan Georg Granström
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 212
- EAN: 9789400736399
- ISBN: 9400736398
- ID: 02076085
- Nakladateľ: Springer
- Hmotnosť: 305 g
- Rozmery: 234 × 156 × 12 mm
- Dátum vydania: 03. August 2013
Obľúbené z iného súdka
-
Cartoon Guide to Calculus
16.05 € -35 % -
Radical Approach to Lebesgue's Theory of Integration
58.68 € -
Schaum's Outline of Vector Analysis, 2ed
17.57 € -26 % -
Calculus of Variations
12.42 € -22 % -
Calculus
62.42 € -5 % -
Schaum's Outline of Advanced Calculus, Third Edition
16.25 € -28 % -
Understanding Analysis
44.24 € -9 % -
Calculus: Early Transcendentals, Metric Edition
103.13 € -
Differential Equations and Linear Algebra
70 € -
Calculus Story
15.14 € -23 % -
Calculus Made Easy
19.18 € -
Programming in Haskell
46.56 € -5 % -
Tensor Analysis on Manifolds
23.53 € -10 % -
Fractional Calculus
14.23 € -20 % -
Handbook of Mathematics
152.02 € -2 % -
Calculus Made Easy
29.79 € -
Functional Analysis
101.82 € -17 % -
Calculus On Manifolds
81.11 € -
Banach Spaces of Analytic Functions
12.21 € -19 % -
Integral Transforms and Their Applications
168.18 € -
Analysis in Banach Spaces
220.11 € -
Analysis in Banach Spaces
187.38 € -
Introduction to Orthogonal Polynomials
16.96 € -19 % -
First Course in Differential Equations
67.97 € -
Real Numbers
30.30 € -4 % -
Lectures on Ergodic Theory
14.54 € -18 % -
Fourier Series and Integral Transforms
196.17 € -
Introductory Functional Analysis with Applications (WSE)
222.43 € -
Writing Proofs in Analysis
61.11 € -4 % -
Differential Geometry and Mathematical Physics
176.97 € -
Analysis in Banach Spaces
220.11 € -
Differentiability in Banach Spaces, Differential Forms and Applications
61.51 € -
Infinite Powers: How Calculus Reveals the Secrets of the Universe
14.13 € -33 % -
Calculus Made Easy
26.25 € -15 % -
Calculus
85.45 € -
Precalculus: Mathematics for Calculus, International Metric Edition
101.82 € -
Understanding Analysis
51.41 € -
Calculus For Dummies, 2nd Edition
16.46 € -31 % -
Calculus Made Easy
18.78 € -21 % -
Schaum's Outline of Partial Differential Equations
23.83 € -20 % -
![Elements of the Theory of Functions and Functional Analysis [Two Volumes in One]](https://media.libris.to/jacket/08800728t.jpg "Elements of the Theory of Functions and Functional Analysis [Two Volumes in One]")
Elements of the Theory of Functions and Functional Analysis [Two Volumes in One]
13.53 € -
Essential Calculus
101.82 € -
Partial Differential Equations for Scientists and Engineers
15.55 € -22 % -
Introduction to Linear Algebra and Differential Equations
18.48 € -10 % -
Calculus
35.75 € -29 % -
Tensor and Vector Analysis
16.56 € -21 % -
Schaums Outline of Tensor Calculus
24.34 € -12 % -
Advanced Calculus (Revised Edition)
31.61 € -10 % -
Calculus Lifesaver
28.58 € -7 %
Osobný odber Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
21 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)