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

  • 9% Essays in Classical Number Theory
    Preț: 68448 lei
  • Functional Analysis
    Preț: 34519 lei
  • 11% Singularly Perturbed Methods for Nonlinear Elliptic Problems
    Preț: 46654 lei
  • Enumerative Combinatorics: Volume 2
    Preț: 42603 lei
  • 11% Quantum Fields and Processes: A Combinatorial Approach
    Preț: 55776 lei
  • 9% Sets of Finite Perimeter and Geometric Variational Problems: An Introduction to Geometric Measure Theory
    Preț: 61456 lei
  • 11% Gaussian Processes on Trees: From Spin Glasses to Branching Brownian Motion
    Preț: 47610 lei
  • Algebraic Groups: The Theory of Group Schemes of Finite Type over a Field
    Preț: 35914 lei
  • 8% Hardy Spaces
    Preț: 46063 lei
  • 8% Elements of ∞-Category Theory
    Preț: 51280 lei
  • 8% Algebraic Groups and Number Theory: Volume 1
    Preț: 42424 lei
  • Optimal Mass Transport on Euclidean Spaces
    Preț: 42060 lei
  • Equivariant Cohomology in Algebraic Geometry
    Preț: 42293 lei
  • 9% Cohen-Macaulay Rings
    Preț: 63552 lei
  • 8% Introduction to Foliations and Lie Groupoids
    Preț: 52722 lei
  • 11% Analytic Combinatorics in Several Variables
    Preț: 52506 lei
  • 11% Harmonic Functions and Random Walks on Groups
    Preț: 45942 lei
  • 11% Algebraic Varieties
    Preț: 45331 lei
  • 11% A Course in Finite Group Representation Theory
    Preț: 51633 lei
  • 9% Classical and Multilinear Harmonic Analysis 2 Volume Set
    Preț: 78377 lei
  • 11% Abelian Model Category Theory
    Preț: 48907 lei
  • 11% Character Theory and the McKay Conjecture
    Preț: 45834 lei
  • 14% Random Graphs
    Preț: 68796 lei
  • Uniform Central Limit Theorems
    Preț: 41709 lei
  • 14% Langlands Correspondence for Loop Groups
    Preț: 65521 lei
  • 9% Modern Analysis of Automorphic Forms By Example 2 Hardback Book Set
    Preț: 77246 lei
  • 11% An Introduction to Invariants and Moduli
    Preț: 53962 lei
  • 11% Period Mappings and Period Domains
    Preț: 41922 lei
  • 11% An Introduction to Infinite-Dimensional Differential Geometry
    Preț: 42302 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

Preț: 42149 lei

Nou

Puncte Express: 632
Preț estimativ în valută:
7459€ • 8698$ • 6549£

Carte disponibilă

Livrare economică 25 decembrie 25 - 08 ianuarie 26
Livrare express 11-17 decembrie pentru 44100 lei

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

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