Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction.

John T. Baldwin

Browse the full WoLLIC paper archive.