There is a newer version of the record available.

Published February 23, 2023 | Version 3
Book Restricted

First Principles of Mathematics

Authors/Creators

  • 1. United States

Description

This book provides a natural foundation for constructive mathematics using a type-theoretic system. No prior knowledge of mathematics or logic is assumed.

Files

Restricted

The record is publicly accessible, but files are restricted to users with access.