There is a newer version of the record available.

Published November 15, 2022 | Version 1
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. <a href="https://zenodo.org/account/settings/login?next=https://zenodo.org/records/7321993">Log in</a> to check if you have access.