Published March 23, 2023
| Version 4
Book
Restricted
First Principles of Mathematics
Description
A theory of types is proposed as the natural foundation for mathematics.
Files
Restricted
The record is publicly accessible, but files are restricted to users with access.