TY  - GENERIC
DO  - 10.20944/preprints202205.0112.v1
UR  - http://dx.doi.org/10.20944/preprints202205.0112.v1
TI  - Fermat’s Last Theorem Proved in Hilbert Arithmetic. II. Its Proof in Hilbert Arithmetic by the Kochen-Specker Theorem With or Without Induction
T2  - Preprints
AU  - Penchev, Vasil
PY  - 2022
DA  - 2022/05/09
PB  - Preprints