Richard Zach
Accessible Open Textbooks in Math-Heavy Disciplines
MUltseq 2.0
W. W. Tait, 1929–2024
Converting LaTeX to HTML: technical notes
forall x now in HTML for extra accessibility
Sheffer stroke before Sheffer: Edward Stamm
Introduction à la théorie de la démonstration: Élimination des coupures, normalisation et preuves de cohérence
An epimorphism between Fine and Ferguson’s matrices for Angell’s AC
Epsilon theorems in intermediate logics
The genealogy of ‘∨’