The Code of Mathematics: Proof and Truth - Mathematics Study Resources - Stefan Muller-Stach - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783662694824 - 4 de septiembre de 2024
En caso de que portada y título no coincidan, el título será el correcto

Stefan Muller-Stach
The Code of Mathematics: Proof and Truth - Mathematics Study Resources 2024 edition

Precio
$ 59,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 19 de jun. - 2 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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.

238 pages, 33 Illustrations, color; 12 Illustrations, black and white; XI, 238 p. 54 illus.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 4 de septiembre de 2024
ISBN13 9783662694824
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 170
Dimensiones 235 × 155 × 14 mm   ·   290 g
Lengua Inglés  

Mas por Stefan Muller-Stach

Mostrar todo

Mere med samme udgiver

Ver todo de Stefan Muller-Stach ( Ej. Paperback Book , Book y Hardcover Book )