2ITX0 (2023-2) Applied Logic