Return to Article Details Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability Download Download PDF