paper

Constructive Reverse Mathematics

arXiv:1804.05495

Abstract

An introduction and overview of constructive reverse mathematics.

version 1.3

Constructive Reverse Mathematics · wovepaper