User:Model Math/Books/The Languages of Validity

Discovering and Tracking

 * Introduction
 * StealingMathematicsProperly
 * Heyting algebra
 * Manual of Style/Mathematics