Foundations of Analytics
Overview
Introduction
Higher Order Set Theory
Well-Founded Systems
Reflexive Foundations
Proof and Computation
Where the Buck Stops