TY - JOUR
AU - Penchev, Vasil
IS - 7
JA - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN)
PY - 2021
TI - Fermatâ€™s last theorem proved in Hilbert arithmetic. I. From the proof by induction to the viewpoint of Hilbert arithmetic
VL - 13
ER -