Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
1.
Introduction
2.
Background: Intuitionist Logic, Constructive Mathematics, Type Theory
3.
Some Computability Theory
4.
From Nil to Nat: Arithmetic
5.
From Nil to Nat: Logic