Modal Homotopy Type Theory
2680 Kč
Sleva až 70% u třetiny knih
Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy provides a reasonably gentle introduction to this new logic, thoroughly motivated by intuitive explanations of the need for all of its component parts, and illustrated through innovative applications of the calculus.
| Autor: | Corfield, David (Senior Lecturer in Philosophy, Senior Lecturer in Philosophy, University of Kent, Canterbury) |
| Nakladatel: | MEGA BOOKS INTERNATIONAL, spol.s.r.o. |
| ISBN: | 9780198853404 |
| Rok vydání: | 2020 |
| Jazyk : | Angličtina |
| Vazba: | Hardback |
| Počet stran: | 192 |
Mohlo by se vám také líbit..
-
1089 and All That
Acheson, David
-
Mathematics: A Very Short Introduction
Timothy Gowers
-
Arbitrage Theory in Continuous Time
Bjork, Tomas
-
AQA A Level Maths: Year 1 / AS Stude...
Bowles, David
-
Probability
Grimmett, Geoffrey (Professor of Mathematical Statistics, University of Cambridge); Welsh, Dominic (Professor of Mathema
-
Topology: A Very Short Introduction
Golden, Earl of Bradford Richard, III
-
Data Analysis
Sivia, Devinderjit (Rutherford Appleton Laboratory and St Catherine's College, Oxford); Skilling, John (Maximum Entropy
-
AQA A Level Further Maths: Year 1 + ...
-
Materials Modelling using Density Fu...
Giustino, Feliciano (Associate Professor of Materials Modelling, Department of Materials, University of Oxford)
-
AQA A Level Further Maths: Year 1 / ...
-
Euler's Pioneering Equation
Robin Wilson
-
50 Visions of Mathematics
O Briain, Dara
-
Numbers: A Very Short Introduction
Higgins Peter
-
From Here to Infinity
Ian Stewart
-
Complete Probability & Statistic...
Fearnley, Stephen; Haighton, June; Lomax, Steven; Mullarkey, Peter; Nicholson, James; Nixon, Matthew
-
Introduction to Metric and Topologic...
Sutherland, Wilson A. (Emeritus Fellow of New College, Oxford)