Cantitate/Preț
Produs
Total produse
Vezi coșul
Introduction to Homotopy Type Theory de Egbert Rijke

Introduction to Homotopy Type Theory: Cambridge Studies in Advanced Mathematics

Autor Egbert Rijke
en Limba Engleză Hardback – 29 sep 2025
An introduction to type theory and the univalence axiom, aimed at advanced undergraduate and graduate students of mathematics and computer science with an interest in the foundations and formalization of mathematics. Prerequisites are minimal and over 200 exercises provide ample practice material.
Citește tot Restrânge

Din seria Cambridge Studies in Advanced Mathematics

  • Enumerative Combinatorics: Volume 2
    Preț: 42571 lei
  • Uniform Central Limit Theorems
    Preț: 41709 lei
  • Functional Analysis
    Preț: 34493 lei
  • 11% Analytic Combinatorics in Several Variables
    Preț: 52506 lei
  • 11% Character Theory and the McKay Conjecture
    Preț: 45834 lei
  • 9% Modern Analysis of Automorphic Forms By Example 2 Hardback Book Set
    Preț: 77186 lei
  • 14% Langlands Correspondence for Loop Groups
    Preț: 65521 lei
  • 14% Random Graphs
    Preț: 68796 lei
  • 11% Abelian Model Category Theory
    Preț: 48907 lei
  • 11% Harmonic Functions and Random Walks on Groups
    Preț: 45942 lei
  • 11% Period Mappings and Period Domains
    Preț: 41922 lei
  • 9% Essays in Classical Number Theory
    Preț: 68395 lei
  • 9% Classical and Multilinear Harmonic Analysis 2 Volume Set
    Preț: 78315 lei
  • 11% Gaussian Free Field and Liouville Quantum Gravity
    Preț: 48804 lei
  • 11% A Course in Finite Group Representation Theory
    Preț: 51633 lei
  • 11% An Introduction to Invariants and Moduli
    Preț: 53962 lei
  • 11% Algebraic Varieties
    Preț: 45331 lei
  • 11% Algebraic Automata Theory
    Preț: 39920 lei
  • Finite Group Theory
    Preț: 38429 lei
  • 11% Markov Processes, Gaussian Processes, and Local Times
    Preț: 58505 lei
  • 11% Random Fragmentation and Coagulation Processes
    Preț: 59421 lei
  • 11% Nonlinear Analysis and Semilinear Elliptic Problems
    Preț: 62895 lei
  • 11% Additive Combinatorics
    Preț: 42894 lei
  • 14% Linear Operators and their Spectra
    Preț: 73625 lei
  • 19% Complex Analysis
    Preț: 62896 lei
  • 14% Harmonic Analysis on Finite Groups: Representation Theory, Gelfand Pairs and Markov Chains
    Preț: 70270 lei
  • 14% An Introduction to Contact Topology
    Preț: 65884 lei
  • Local Representation Theory: Modular Representations as an Introduction to the Local Representation Theory of Finite Groups
    Preț: 40228 lei
  • 14% Analysis on Lie Groups: An Introduction
    Preț: 66805 lei
  • 14% Complex Topological K-Theory
    Preț: 65698 lei
  • Partial Differential Equations for Probabilists
    Preț: 30865 lei
  • An Introduction to Lie Groups and Lie Algebras
    Preț: 31997 lei
  • 14% Soliton Equations and Their Algebro-Geometric Solutions: Volume 2, (1+1)-Dimensional Discrete Models
    Preț: 91088 lei
  • 11% Mathematical Tools for One-Dimensional Dynamics
    Preț: 57179 lei
  • 11% Lévy Processes and Stochastic Calculus
    Preț: 63728 lei
  • 11% Galois Groups and Fundamental Groups
    Preț: 47353 lei
  • 11% An Introduction to Random Matrices
    Preț: 56631 lei
  • 14% Locally Convex Spaces over Non-Archimedean Valued Fields
    Preț: 101444 lei
  • 11% The Logarithmic Integral: Volume 1
    Preț: 58174 lei
  • 14% Representation Theory of the Symmetric Groups: The Okounkov-Vershik Approach, Character Formulas, and Partition Algebras
    Preț: 70643 lei
  • 11% An Outline of Ergodic Theory
    Preț: 49785 lei
  • 11% Random Walk: A Modern Introduction
    Preț: 61336 lei

Preț: 42091 lei

Puncte Express: 631
Preț estimativ în valută:
7441€ • 8827$ • 6443£

Carte disponibilă

Livrare economică 25 februarie-11 martie
Livrare express 10-14 februarie pentru 4401 lei

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9781108844161
ISBN-10: 1108844162
Pagini: 386
Dimensiuni: 157 x 235 x 25 mm
Greutate: 0.69 kg
Editura: Cambridge University Press
Seria Cambridge Studies in Advanced Mathematics