adicionar à lista de desejos
The Code Of Mathematics
Proof And Truth
Book
eBook
language: english
Publisher:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, September of 2024 ‧
see product details
SYNOPSIS
Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. The main focus of this textbook is on dependent type theory and its recent variant homotopy type theory.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9783662694824 |
| Publisher: | SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Release Date: | September of 2024 |
| Language: | English |
| Dimensions: | 155 x 235 x 20 mm |
| Cover: | Softcover |
| Pages: | 170 |
| Format: | Book |
| Collection: | Mathematics Study Resources |
| Categories: |
Books in English
>
Science
>
Mathematics
Books in English > Others |
| EAN: | 9783662694824 |
BOOKS FROM THE SAME COLLECTION
-
Pre-order10%The Pythagorean Theorem In 365 ProofsSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG54,74€
60,82€free shipping -
10%Introduction To Numerical MathematicsSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG34,06€
37,84€free shipping
-
10%Richard DedekindSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG170,33€
189,25€free shipping -
10%Periods And Nori MotivesSpringer International Publishing AG162,21€ 10% CARDfree shipping