v1v2v3v4 (latest)

A Self-Contained and Easily Accessible Discussion of the Method of Descente Infinie and Fermat's Only Explicitly Known Proof by Descente Infinie

20 February 2009

Papers citing "A Self-Contained and Easily Accessible Discussion of the Method of Descente Infinie and Fermat's Only Explicitly Known Proof by Descente Infinie"

1 / 1 papers shown

Title
Automation of Mathematical Induction as part of the History of Logic J. Strother Claus-Peter Wirth AI4CE 78 14 0 24 Sep 2013