Published February 23, 2023
| Version 3
Book
Restricted
First Principles of Mathematics
Description
This book provides a natural foundation for constructive mathematics using a type-theoretic system. No prior knowledge of mathematics or logic is assumed.