528 rezultatov
-
-
-
-
-
-
-
-
-
-
-
-
Fixed Point Theory and Variational Principles in Metric Spaces(2023) DAYA RAM SAHUVezava: Trda125,76 €
-
Code of Mathematics(2024) MULLER-STACH, STEFANInspired 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 recentVezava: Mehka68,68 €
-
-
-
-
-
-
-