Induction the Hard Way

DOI10.2307/2589710zbMath0924.03105OpenAlexW4236363714MaRDI QIDQ4222474

Michael Sheard

Publication date: 7 December 1998

Full work available at URL: https://doi.org/10.2307/2589710

zbMATH Keywords

boundsinduction principlelength of proofs

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Measures of information, entropy (94A17) Complexity of proofs (03F20)

Related Items (1)

STRICT FINITISM, FEASIBILITY, AND THE SORITES

This page was built for publication: Induction the Hard Way