A Theory of Explicit Mathematics Equivalent to ID

Reinhard Kahle, Thomas Studer

Browse the full CSL paper archive.