Text this: Foundational theories of classical and constructive mathematics /