📁 CatalanConjecture
Sites related to the Catalan Conjecture, that 8 and 9 are the only consecutive powers.
条目 (1+)
Proof Theory as an Alternative to Model Theory
http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ProofTheoryAsAlternative.html