2ITX0 (2020-2) Applied Logic