February 1, 2026

Mathematical logic